Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/a8beed6a959b90e5049a1427f5bdf47e0e1eec747a9f805a38cd3cc49daff91d> ?p ?o }
Showing triples 1 to 6 of
6
with 100 triples per page.
- a8beed6a959b90e5049a1427f5bdf47e0e1eec747a9f805a38cd3cc49daff91d author "Fay".
- a8beed6a959b90e5049a1427f5bdf47e0e1eec747a9f805a38cd3cc49daff91d chapter "First-Order Unification in an Equational Theory".
- a8beed6a959b90e5049a1427f5bdf47e0e1eec747a9f805a38cd3cc49daff91d isCitedBy Unification_(computer_science).
- a8beed6a959b90e5049a1427f5bdf47e0e1eec747a9f805a38cd3cc49daff91d pages "161–167".
- a8beed6a959b90e5049a1427f5bdf47e0e1eec747a9f805a38cd3cc49daff91d title "Proc. 4th Workshop on Automated Deduction".
- a8beed6a959b90e5049a1427f5bdf47e0e1eec747a9f805a38cd3cc49daff91d year "1979".