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
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
- Integrating Maude into Hets
- A Church-Rosser checker tool for conditional order-sorted equational Maude specifications
- 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
- CoLL: a confluence tool for left-linear term rewrite systems
- Proving Safety Properties of Rewrite Theories
- A Maude coherence checker tool for conditional order-sorted rewrite theories
This page was built for software: CRC 3
