Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/8ca68a17f980de71c78c8610a46fead864146e6c70e09f48c72fdaf567e1f047> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- 8ca68a17f980de71c78c8610a46fead864146e6c70e09f48c72fdaf567e1f047 author "Jouannaud, J.-P. and Rubio, A.".
- 8ca68a17f980de71c78c8610a46fead864146e6c70e09f48c72fdaf567e1f047 contribution "A Recursive Path Ordering for Higher-Order Terms in eta-Long beta-Normal Form".
- 8ca68a17f980de71c78c8610a46fead864146e6c70e09f48c72fdaf567e1f047 editor Harald_Ganzinger.
- 8ca68a17f980de71c78c8610a46fead864146e6c70e09f48c72fdaf567e1f047 isCitedBy Jean-Pierre_Jouannaud.
- 8ca68a17f980de71c78c8610a46fead864146e6c70e09f48c72fdaf567e1f047 pages "108–122".
- 8ca68a17f980de71c78c8610a46fead864146e6c70e09f48c72fdaf567e1f047 publisher "Springer".
- 8ca68a17f980de71c78c8610a46fead864146e6c70e09f48c72fdaf567e1f047 series "LNCS".
- 8ca68a17f980de71c78c8610a46fead864146e6c70e09f48c72fdaf567e1f047 title "Rewriting Techniques and Applications, 7th Int. Conf., RTA-96".
- 8ca68a17f980de71c78c8610a46fead864146e6c70e09f48c72fdaf567e1f047 volume "1103".
- 8ca68a17f980de71c78c8610a46fead864146e6c70e09f48c72fdaf567e1f047 year "1996".