swMATH9781MaRDI QIDQ21760FDOQ21760
Author name not available (Why is that?)
Official website: http://maude.lcc.uma.es/CRChC/
Cited In (22)
- A partial evaluation framework for order-sorted equational programs modulo axioms
- Asymmetric unification: a new unification paradigm for cryptographic protocol analysis
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
- CRC 3
- MFE
- DDebugger
- MTT
- iJulienne
- Anima
- Julienne
- Web-TLR
- Freja
- Hood
- A Church-Rosser checker tool for conditional order-sorted equational Maude specifications
- Variants, unification, narrowing, and symbolic reachability in Maude 2.6
- ACUOS2
- GLINTS
- Combining runtime checking and slicing to improve Maude error diagnosis
- Exploring conditional rewriting logic computations
- A Maude coherence checker tool for conditional order-sorted rewrite theories
- Backward trace slicing for conditional rewrite theories
- Inspecting rewriting logic computations (in a parametric and stepwise way)
This page was built for software: ChC 3
