Pages that link to "Item:Q2413027"
From MaRDI portal
The following pages link to Metalevel algorithms for variant satisfiability (Q2413027):
Displaying 11 items.
- Variant-based decidable satisfiability in initial algebras with predicates (Q1671164) (← links)
- 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)
- Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\) (Q2577589) (← links)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← links)
- Metalevel Algorithms for Variant Satisfiability (Q2827841) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)