Pages that link to "Item:Q1671164"
From MaRDI portal
The following pages link to Variant-based decidable satisfiability in initial algebras with predicates (Q1671164):
Displaying 8 items.
- Polite combination of algebraic datatypes (Q2090130) (← links)
- Politeness for the theory of algebraic datatypes (Q2096449) (← links)
- Symbolic computation in Maude: some tapas (Q2119100) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Metalevel algorithms for variant satisfiability (Q2413027) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)
- Variant Satisfiability of Parameterized Strings (Q6486037) (← links)