Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/205d3664724d00d1ec617a27e3feb1155e4abf0180b5ae8e043f35e56aa1fd1e> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- 205d3664724d00d1ec617a27e3feb1155e4abf0180b5ae8e043f35e56aa1fd1e author "Gallier, J.H. and Snyder, W.".
- 205d3664724d00d1ec617a27e3feb1155e4abf0180b5ae8e043f35e56aa1fd1e contribution "A General Complete E-Unification Procedure".
- 205d3664724d00d1ec617a27e3feb1155e4abf0180b5ae8e043f35e56aa1fd1e editor "Lescanne, Pierre".
- 205d3664724d00d1ec617a27e3feb1155e4abf0180b5ae8e043f35e56aa1fd1e isCitedBy Wayne_Snyder.
- 205d3664724d00d1ec617a27e3feb1155e4abf0180b5ae8e043f35e56aa1fd1e pages "216-227".
- 205d3664724d00d1ec617a27e3feb1155e4abf0180b5ae8e043f35e56aa1fd1e publisher "Springer".
- 205d3664724d00d1ec617a27e3feb1155e4abf0180b5ae8e043f35e56aa1fd1e series LNCS.
- 205d3664724d00d1ec617a27e3feb1155e4abf0180b5ae8e043f35e56aa1fd1e title "Rewriting Techniques and Applications, 2nd Int. Conf., RTA-87".
- 205d3664724d00d1ec617a27e3feb1155e4abf0180b5ae8e043f35e56aa1fd1e volume "256".
- 205d3664724d00d1ec617a27e3feb1155e4abf0180b5ae8e043f35e56aa1fd1e year "1987".