Pages that link to "Item:Q2291829"

The following pages link to Ground confluence of order-sorted conditional specifications modulo axioms (Q2291829):

Displaying 5 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)