Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/0304-3975(86)90175-1> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- 0304-3975(86)90175-1 doi "10.1016/0304-397590175-1".
- 0304-3975(86)90175-1 first1 "François".
- 0304-3975(86)90175-1 first2 "Gérard".
- 0304-3975(86)90175-1 isCitedBy Unification_(computer_science).
- 0304-3975(86)90175-1 journal "Theoretical Computer Science".
- 0304-3975(86)90175-1 last1 "Fages".
- 0304-3975(86)90175-1 last2 "Huet".
- 0304-3975(86)90175-1 pages "189–200".
- 0304-3975(86)90175-1 title "Complete Sets of Unifiers and Matchers in Equational Theories".
- 0304-3975(86)90175-1 volume "43".
- 0304-3975(86)90175-1 year "1986".