Proving Ground Confluence of Equational Specifications Modulo Axioms

This publication has 16 references indexed in Scilit:

• On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
  The Journal of Logic and Algebraic Programming, 2012
• Towards a Maude Formal Environment
  Lecture Notes in Computer Science, 2011
• Simultaneous checking of completeness and ground confluence for algebraic specifications
  ACM Transactions on Computational Logic, 2009
• Proving Confluence of Term Rewriting Systems Automatically
  2009
• Termination Modulo Combinations of Equational Theories
  2009
• MTT: The Maude Termination Tool (System Description)
  2008
• Proving operational termination of membership equational programs
  Higher-Order and Symbolic Computation, 2008
• All About Maude - A High-Performance Logical Framework
  2007
• Semantic foundations for generalized rewrite theories
  Theoretical Computer Science, 2006
• Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations
  Theoretical Computer Science, 1992