Pages that link to "Item:Q2291829"
From MaRDI portal
The following pages link to Ground confluence of order-sorted conditional specifications modulo axioms (Q2291829):
Displaying 7 items.
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- (Q5020960) (← links)
- Guest editor's foreword (Q5919131) (← links)
- Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888) (← links)
- Checking Sufficient Completeness by Inductive Theorem Proving (Q6487296) (← links)
- On Ground Convergence and Completeness of Conditional Equational Program Hierarchies (Q6487297) (← links)