Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/0b6b49093e2db4a0ae4c23a33b5f952174a8e7fc90a7088796a3d3c26822f42a> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- 0b6b49093e2db4a0ae4c23a33b5f952174a8e7fc90a7088796a3d3c26822f42a authorlink2 "Peter O'Hearn".
- 0b6b49093e2db4a0ae4c23a33b5f952174a8e7fc90a7088796a3d3c26822f42a first1 "Samin".
- 0b6b49093e2db4a0ae4c23a33b5f952174a8e7fc90a7088796a3d3c26822f42a first2 "Peter".
- 0b6b49093e2db4a0ae4c23a33b5f952174a8e7fc90a7088796a3d3c26822f42a isCitedBy Separation_logic.
- 0b6b49093e2db4a0ae4c23a33b5f952174a8e7fc90a7088796a3d3c26822f42a last1 "Ishtiaq".
- 0b6b49093e2db4a0ae4c23a33b5f952174a8e7fc90a7088796a3d3c26822f42a last2 "O'Hearn".
- 0b6b49093e2db4a0ae4c23a33b5f952174a8e7fc90a7088796a3d3c26822f42a publisher Association_for_Computing_Machinery.
- 0b6b49093e2db4a0ae4c23a33b5f952174a8e7fc90a7088796a3d3c26822f42a title "BI as an Assertion Language for Mutable Data Structures".
- 0b6b49093e2db4a0ae4c23a33b5f952174a8e7fc90a7088796a3d3c26822f42a work "POPL".
- 0b6b49093e2db4a0ae4c23a33b5f952174a8e7fc90a7088796a3d3c26822f42a year "2001".