Author:
Fernández Maribel,Jouannaud Jean-Pierre
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Nachum Dershowitz. Orderings for term rewriting systems. Theoretical Computer Science, 17(3):279–301, March 1982.
2. Nachum Dershowitz. Hierarchical termination. Draft, 1994.
3. Nachum Dershowitz and Jean-Pierre Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 243–309. North-Holland, 1990.
4. K. Drosten. Termerssetzungssysteme. PhD thesis, University of Passau, Germany, 1989. In german.
5. M. Fernandez and J.-P. Jouannaud. Modularity properties of term rewriting systems revisited. Technical Report 875, Laboratoire de Recherche en Informatique, November 1993.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献