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 5 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)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)
