Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/03a488930e29f7f53e1fdd314c8198499a08e5ce038c2d7baab34e365a485dbe> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- 03a488930e29f7f53e1fdd314c8198499a08e5ce038c2d7baab34e365a485dbe date "June 1999".
- 03a488930e29f7f53e1fdd314c8198499a08e5ce038c2d7baab34e365a485dbe first1 "P. W.".
- 03a488930e29f7f53e1fdd314c8198499a08e5ce038c2d7baab34e365a485dbe first2 "D. J.".
- 03a488930e29f7f53e1fdd314c8198499a08e5ce038c2d7baab34e365a485dbe isCitedBy Separation_logic.
- 03a488930e29f7f53e1fdd314c8198499a08e5ce038c2d7baab34e365a485dbe journal Bulletin_of_Symbolic_Logic.
- 03a488930e29f7f53e1fdd314c8198499a08e5ce038c2d7baab34e365a485dbe last1 "O'Hearn".
- 03a488930e29f7f53e1fdd314c8198499a08e5ce038c2d7baab34e365a485dbe last2 "Pym".
- 03a488930e29f7f53e1fdd314c8198499a08e5ce038c2d7baab34e365a485dbe number "2".
- 03a488930e29f7f53e1fdd314c8198499a08e5ce038c2d7baab34e365a485dbe pages "215–244".
- 03a488930e29f7f53e1fdd314c8198499a08e5ce038c2d7baab34e365a485dbe title "The Logic of Bunched Implications".
- 03a488930e29f7f53e1fdd314c8198499a08e5ce038c2d7baab34e365a485dbe volume "5".