Matches in DBpedia 2016-04 for { <http://www0.cs.ucl.ac.uk/staff/D.Pym/pym-tofts-fac-preprint.pdf> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- pym-tofts-fac-preprint.pdf date "2006".
- pym-tofts-fac-preprint.pdf first1 "David".
- pym-tofts-fac-preprint.pdf first2 "Chris".
- pym-tofts-fac-preprint.pdf isCitedBy Bunched_logic.
- pym-tofts-fac-preprint.pdf issue "4".
- pym-tofts-fac-preprint.pdf journal "Formal Aspects of Computing".
- pym-tofts-fac-preprint.pdf last1 "Pym".
- pym-tofts-fac-preprint.pdf last2 "Tofts".
- pym-tofts-fac-preprint.pdf pages "495–517".
- pym-tofts-fac-preprint.pdf title "A Calculus and logic of resources and processes".
- pym-tofts-fac-preprint.pdf url pym-tofts-fac-preprint.pdf.
- pym-tofts-fac-preprint.pdf volume "8".