MTT

swMATH9783MaRDI QIDQ21762FDOQ21762

Author name not available (Why is that?)

Cited In (25)

• Twenty years of rewriting logic
• Modular termination of basic narrowing and equational unification
• Symbolic computation in Maude: some tapas
• Ground confluence of order-sorted conditional specifications modulo axioms
• Behavioral Rewrite Systems and Behavioral Productivity
• A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications
• Localized Operational Termination in General Logics
• Proving Termination Properties with mu-term
• On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
• MTT: The Maude Termination Tool (System Description)
• Applications and extensions of context-sensitive rewriting
• Sentence-normalized conditional narrowing modulo in rewriting logic and Maude
• Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12--15, 2008 Proceedings
• Integrating Maude into Hets
• A compact fixpoint semantics for term rewriting systems
• Methods for proving termination of rewriting-based programming languages by transformation
• A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories
• The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques
• Optimization of rewrite theories by equational partial evaluation
• Equational abstractions
• Operational Termination of Membership Equational Programs: the Order-Sorted Way
• Termination Modulo Combinations of Equational Theories
• Dependency pairs for proving termination properties of conditional term rewriting systems
• Sufficient completeness verification for conditional and constrained TRS
• Two Decades of Maude

This page was built for software: MTT