CRC 3
From MaRDI portal
Software:21761
swMATH9782MaRDI QIDQ21761FDOQ21761
Author name not available (Why is that?)
Cited In (9)
- Ground confluence of order-sorted conditional specifications modulo axioms
- A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications
- CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems
- Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6
- Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
- Integrating Maude into Hets
- A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories
- Proving Safety Properties of Rewrite Theories
This page was built for software: CRC 3
