Funder
FEDER
MINECO
GV
NSF
Juan de la Cierva Fellowship
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference31 articles.
1. Termination of term rewriting using dependency pairs;Arts;Theor. Comput. Sci.,2000
2. Proving termination properties with MU-TERM;Alarcón,2011
3. Conditional rewrite rules: confluence and termination;Bergstra;J. Comput. Syst. Sci.,1986
4. An overview of ELAN;Borovanský,1998
5. Compiling language definitions: the ASF + SDF compiler;van den Brand;ACM Trans. Program. Lang. Syst.,2002
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献