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
- A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications
- Backward Trace Slicing for Conditional Rewrite Theories
- Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
- A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories
- Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)
- Exploring conditional rewriting logic computations
- Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis
- Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis
This page was built for software: ChC 3
