Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/a6cbef7f61fe1c2180b7e5fe1392d043448121f2b2bcbf764707ef205a1466dc> ?p ?o }
Showing triples 1 to 5 of
5
with 100 triples per page.
- a6cbef7f61fe1c2180b7e5fe1392d043448121f2b2bcbf764707ef205a1466dc author "John C. Reynolds".
- a6cbef7f61fe1c2180b7e5fe1392d043448121f2b2bcbf764707ef205a1466dc isCitedBy Hoare_logic.
- a6cbef7f61fe1c2180b7e5fe1392d043448121f2b2bcbf764707ef205a1466dc publisher "Cambridge University Press".
- a6cbef7f61fe1c2180b7e5fe1392d043448121f2b2bcbf764707ef205a1466dc title "Theory of Programming Languages".
- a6cbef7f61fe1c2180b7e5fe1392d043448121f2b2bcbf764707ef205a1466dc year "2009".