Matches in DBpedia 2015-10 for { <http://theory.stanford.edu/~uribe/papers/unification.ps.Z> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- unification.ps.Z author "Uribe, T.E.".
- unification.ps.Z chapter "Sorted Unification Using Set Constraints".
- unification.ps.Z isCitedBy Set_constraint.
- unification.ps.Z pages "163–177".
- unification.ps.Z series "LNCS".
- unification.ps.Z title "Proc. CADE–11".
- unification.ps.Z url unification.ps.Z.
- unification.ps.Z volume "607".
- unification.ps.Z year "1992".