Pages that link to "Item:Q2413027"
From MaRDI portal
The following pages link to Metalevel algorithms for variant satisfiability (Q2413027):
Displaying 8 items.
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) (← links)
- Symbolic computation in Maude: some tapas (Q2119100) (← links)
- Generalized rewrite theories, coherence completion, and symbolic methods (Q2291817) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Ground confluence of order-sorted conditional specifications modulo axioms (Q2291829) (← links)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← links)
- Metalevel Algorithms for Variant Satisfiability (Q2827841) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)
