Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/j.tcs.2006.12.035> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- j.tcs.2006.12.035 date "2007".
- j.tcs.2006.12.035 doi "10.1016/j.tcs.2006.12.035".
- j.tcs.2006.12.035 first1 "Peter".
- j.tcs.2006.12.035 isCitedBy Bunched_logic.
- j.tcs.2006.12.035 issue "1-3".
- j.tcs.2006.12.035 journal "Theoretical Computer Science".
- j.tcs.2006.12.035 last1 "O'Hearn".
- j.tcs.2006.12.035 pages "271–307".
- j.tcs.2006.12.035 title "Resources, Concurrency and Local Reasoning".
- j.tcs.2006.12.035 url concur04.pdf.
- j.tcs.2006.12.035 volume "375".