Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/9b1b9fc359aaf01bbc068c4efbbac1990e3a85fb01fdc1a18b932e569e036f30> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- 9b1b9fc359aaf01bbc068c4efbbac1990e3a85fb01fdc1a18b932e569e036f30 authorlink "Rod Burstall".
- 9b1b9fc359aaf01bbc068c4efbbac1990e3a85fb01fdc1a18b932e569e036f30 first "R. M.".
- 9b1b9fc359aaf01bbc068c4efbbac1990e3a85fb01fdc1a18b932e569e036f30 isCitedBy Separation_logic.
- 9b1b9fc359aaf01bbc068c4efbbac1990e3a85fb01fdc1a18b932e569e036f30 journal Machine_Intelligence_(journal).
- 9b1b9fc359aaf01bbc068c4efbbac1990e3a85fb01fdc1a18b932e569e036f30 last "Burstall".
- 9b1b9fc359aaf01bbc068c4efbbac1990e3a85fb01fdc1a18b932e569e036f30 title "Some techniques for proving programs which alter data structures".
- 9b1b9fc359aaf01bbc068c4efbbac1990e3a85fb01fdc1a18b932e569e036f30 volume "7".
- 9b1b9fc359aaf01bbc068c4efbbac1990e3a85fb01fdc1a18b932e569e036f30 year "1972".