swMATH9782MaRDI QIDQ21761FDOQ21761
Author name not available (Why is that?)
Official website: http://maude.lcc.uma.es/CRChC/
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
- Integrating Maude into Hets
- ChC 3
- MTT
- InvA
- CoLL
- 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
