Author:
Dershowitz Nachum,Castedo Ellerman E.
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference11 articles.
1. Orderings for term-rewriting systems;Dershowitz;Theoretical Computer Science,1982
2. On termination of meta-programs;Serebrenik;Theory and Practice of Logic Programming,2005
3. On multiset orderings;Jouannaud;Information Processing Letters,1982
4. Extension functions for multiset orderings;Martin;Information Processing Letters,1987
5. A geometrical approach to multiset orderings;Martin;Information Processing Letters,1989