Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/e1a5778524a6ce6abebf7db31b13e2ffb1b8441c47d647f4a9a97ff2fc19ca22> ?p ?o }
Showing triples 1 to 16 of
16
with 100 triples per page.
- e1a5778524a6ce6abebf7db31b13e2ffb1b8441c47d647f4a9a97ff2fc19ca22 chapter "Intuitionistic Reasoning about Shared Mutable Data Structure".
- e1a5778524a6ce6abebf7db31b13e2ffb1b8441c47d647f4a9a97ff2fc19ca22 editorFirst1 "Jim".
- e1a5778524a6ce6abebf7db31b13e2ffb1b8441c47d647f4a9a97ff2fc19ca22 editorFirst2 "Bill".
- e1a5778524a6ce6abebf7db31b13e2ffb1b8441c47d647f4a9a97ff2fc19ca22 editorFirst3 "Jim".
- e1a5778524a6ce6abebf7db31b13e2ffb1b8441c47d647f4a9a97ff2fc19ca22 editorLast1 "Davies".
- e1a5778524a6ce6abebf7db31b13e2ffb1b8441c47d647f4a9a97ff2fc19ca22 editorLast2 "Roscoe".
- e1a5778524a6ce6abebf7db31b13e2ffb1b8441c47d647f4a9a97ff2fc19ca22 editorLast3 "Woodcock".
- e1a5778524a6ce6abebf7db31b13e2ffb1b8441c47d647f4a9a97ff2fc19ca22 editorlink1 "Jim Davies".
- e1a5778524a6ce6abebf7db31b13e2ffb1b8441c47d647f4a9a97ff2fc19ca22 editorlink2 "Bill Roscoe".
- e1a5778524a6ce6abebf7db31b13e2ffb1b8441c47d647f4a9a97ff2fc19ca22 editorlink3 "Jim Woodcock".
- e1a5778524a6ce6abebf7db31b13e2ffb1b8441c47d647f4a9a97ff2fc19ca22 first "John C.".
- e1a5778524a6ce6abebf7db31b13e2ffb1b8441c47d647f4a9a97ff2fc19ca22 isCitedBy Separation_logic.
- e1a5778524a6ce6abebf7db31b13e2ffb1b8441c47d647f4a9a97ff2fc19ca22 last "Reynolds".
- e1a5778524a6ce6abebf7db31b13e2ffb1b8441c47d647f4a9a97ff2fc19ca22 publisher Palgrave_Macmillan.
- e1a5778524a6ce6abebf7db31b13e2ffb1b8441c47d647f4a9a97ff2fc19ca22 title "Millennial Perspectives in Computer Science, Proceedings of the 1999 Oxford–Microsoft Symposium in Honour of Sir Tony Hoare".
- e1a5778524a6ce6abebf7db31b13e2ffb1b8441c47d647f4a9a97ff2fc19ca22 year "1999".