Matches in DBpedia 2016-04 for { <http://www.cs.bath.ac.uk/~gam23/papers/innocentBI.pdf> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- innocentBI.pdf date "2007".
- innocentBI.pdf first1 "Guy".
- innocentBI.pdf first2 "David".
- innocentBI.pdf isCitedBy Bunched_logic.
- innocentBI.pdf journal "Computer Science Logic, Springer Lecture Notes in Computer Science 4646".
- innocentBI.pdf last1 "McCusker".
- innocentBI.pdf last2 "Pym".
- innocentBI.pdf title "A Games Model of Bunched Implications".
- innocentBI.pdf url innocentBI.pdf.