Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/j.entcs.2007.09.021> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- j.entcs.2007.09.021 accessdate "2012-06-16".
- j.entcs.2007.09.021 date "2008-01-22".
- j.entcs.2007.09.021 doi "10.1016/j.entcs.2007.09.021".
- j.entcs.2007.09.021 first "William".
- j.entcs.2007.09.021 first2 "Frank".
- j.entcs.2007.09.021 isCitedBy Parity_of_zero.
- j.entcs.2007.09.021 journal "Electronic Notes in Theoretical Computer Science".
- j.entcs.2007.09.021 last "Lovas".
- j.entcs.2007.09.021 last2 "Pfenning".
- j.entcs.2007.09.021 pages "113–128".
- j.entcs.2007.09.021 title "A Bidirectional Refinement Type System for LF".
- j.entcs.2007.09.021 url S1571066108000418.
- j.entcs.2007.09.021 volume "196".