ChC 3
From MaRDI portal
Software:21760
swMATH9781MaRDI QIDQ21760FDOQ21760
Author name not available (Why is that?)
Cited In (10)
- 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
- A Church-Rosser checker tool for conditional order-sorted equational Maude specifications
- Variants, unification, narrowing, and symbolic reachability in Maude 2.6
- 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
