Pages that link to "Item:Q1392278"
From MaRDI portal
The following pages link to Unification of infinite sets of terms schematized by primal grammars (Q1392278):
Displaying 8 items.
- Simplified handling of iterated term schemata (Q616760) (← links)
- The first order theory of primal grammars is decidable (Q1882903) (← links)
- A complete superposition calculus for primal grammars (Q2352496) (← links)
- Tree automata for rewrite strategies (Q2456572) (← links)
- Deciding Innermost Loops (Q3522030) (← 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)
