Matches in DBpedia 2015-10 for { <http://doi.org/10.1016/j.entcs.2011.03.003> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- j.entcs.2011.03.003 chapter "The Functional Interpretation of Direct Computations".
- j.entcs.2011.03.003 doi "10.1016/j.entcs.2011.03.003".
- j.entcs.2011.03.003 first1 "Ruy J.G.B.".
- j.entcs.2011.03.003 first2 "Anjolina".
- j.entcs.2011.03.003 isCitedBy Curry–Howard_correspondence.
- j.entcs.2011.03.003 last1 "de Queiroz".
- j.entcs.2011.03.003 last2 "de Oliveira".
- j.entcs.2011.03.003 pages "19–40".
- j.entcs.2011.03.003 publisher Elsevier.
- j.entcs.2011.03.003 title "Electronic Notes in Theoretical Computer Science".
- j.entcs.2011.03.003 volume "269".
- j.entcs.2011.03.003 year "2011".