ChC 3
From MaRDI portal
Cited in
(22)- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
- MFE
- CRC 3
- MTT
- iJulienne
- DDebugger
- Web-TLR
- Anima
- Julienne
- A partial evaluation framework for order-sorted equational programs modulo axioms
- Freja
- Hood
- Backward trace slicing for conditional rewrite theories
- Combining runtime checking and slicing to improve Maude error diagnosis
- ACUOS2
- Exploring conditional rewriting logic computations
- Asymmetric unification: a new unification paradigm for cryptographic protocol analysis
- 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
- Inspecting rewriting logic computations (in a parametric and stepwise way)
- GLINTS
This page was built for software: ChC 3
