CRC 3
From MaRDI portal
Cited in
(13)- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
- ChC 3
- MTT
- InvA
- Ground confluence of order-sorted conditional specifications modulo axioms
- CoLL
- Integrating Maude into Hets
- Proving Safety Properties of Rewrite Theories
- CoLL: a confluence tool for left-linear term rewrite systems
- A Church-Rosser checker tool for conditional order-sorted equational Maude specifications
- A Maude coherence checker tool for conditional order-sorted rewrite theories
- 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
This page was built for software: CRC 3
