Matches in DBpedia 2016-04 for { <http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/jlc91.pdf> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- jlc91.pdf first1 "Dale".
- jlc91.pdf isCitedBy Unification_(computer_science).
- jlc91.pdf journal "Journal of Logic and Computation".
- jlc91.pdf last1 "Miller".
- jlc91.pdf pages "497–536".
- jlc91.pdf title "A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification".
- jlc91.pdf url jlc91.pdf.
- jlc91.pdf year "1991".