ChC 3
From MaRDI portal
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
- ACUOS2
- GLINTS
- A Church-Rosser checker tool for conditional order-sorted equational Maude specifications
- Variants, unification, narrowing, and symbolic reachability in Maude 2.6
- Exploring conditional rewriting logic computations
- Combining runtime checking and slicing to improve Maude error diagnosis
- Backward trace slicing for conditional rewrite theories
- A Maude coherence checker tool for conditional order-sorted rewrite theories
- Inspecting rewriting logic computations (in a parametric and stepwise way)
This page was built for software: ChC 3
