Pages that link to "Item:Q4327380"
From MaRDI portal
The following pages link to On unification of terms with integer exponents (Q4327380):
Displaying 9 items.
- Simplified handling of iterated term schemata (Q616760) (← links)
- Context unification with one context variable (Q1041589) (← links)
- Increasing model building capabilities by constraint solving on terms with integer exponents (Q1360965) (← links)
- Unification of infinite sets of terms schematized by primal grammars (Q1392278) (← links)
- The first order theory of primal grammars is decidable (Q1882903) (← links)
- A complete superposition calculus for primal grammars (Q2352496) (← links)
- Linear pattern matching of compressed terms and polynomial rewriting (Q4585011) (← links)
- Primal grammars and unification modulo a binary clause (Q5210779) (← links)
- Perfect Discrimination Graphs: Indexing Terms with Integer Exponents (Q5747777) (← links)