Author:
Durán Francisco,Meseguer José
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference62 articles.
1. On using ground joinable equations in equational theorem proving;Avenhaus;J. Symbolic Comput.,2003
2. On conditional rewrite systems with extra variables and deterministic logic programs;Avenhaus,1994
3. Term Rewriting and All That;Baader,1998
4. Completion for rewriting modulo a congruence;Bachmair;Theoret. Comput. Sci.,1989
5. Completion without failure;Bachmair,1989
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Order-Sorted Equality Enrichments Modulo Axioms;Rewriting Logic and Its Applications;2012
2. Towards a Maude Formal Environment;Formal Modeling: Actors, Open Systems, Biological Systems;2011
3. Tool Interoperability in the Maude Formal Environment;Algebra and Coalgebra in Computer Science;2011