CRC 3
From MaRDI portal
Software:21761
No author found.
Related Items
CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems ⋮ On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories ⋮ Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool ⋮ A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications ⋮ A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories ⋮ Integrating Maude into Hets ⋮ Ground confluence of order-sorted conditional specifications modulo axioms ⋮ Proving Safety Properties of Rewrite Theories ⋮ Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6
This page was built for software: CRC 3