Matches in DBpedia 2016-04 for { <http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.2442> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- summary?doi=10.1.1.219.2442 first "Peter".
- summary?doi=10.1.1.219.2442 isCitedBy Induction-recursion_(type_theory).
- summary?doi=10.1.1.219.2442 journal "Lecture Notes in Computer Science".
- summary?doi=10.1.1.219.2442 last "Dybjer".
- summary?doi=10.1.1.219.2442 title "A finite axiomatization of inductive-recursive definitions".
- summary?doi=10.1.1.219.2442 url summary?doi=10.1.1.219.2442.
- summary?doi=10.1.1.219.2442 volume "1581".
- summary?doi=10.1.1.219.2442 year "1999".