Cited in
(13)- Ground confluence of order-sorted conditional specifications modulo axioms
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
- ChC 3
- MTT
- InvA
- CoLL
- Integrating Maude into Hets
- A Church-Rosser checker tool for conditional order-sorted equational Maude specifications
- Variants, unification, narrowing, and symbolic reachability in Maude 2.6
- Mechanical analysis of reliable communication in the alternating bit protocol using the Maude invariant analyzer tool
- CoLL: a confluence tool for left-linear term rewrite systems
- Proving Safety Properties of Rewrite Theories
- A Maude coherence checker tool for conditional order-sorted rewrite theories
This page was built for software: CRC 3
