Pages that link to "Item:Q1882903"
From MaRDI portal
The following pages link to The first order theory of primal grammars is decidable (Q1882903):
Displaying 4 items.
- Simplified handling of iterated term schemata (Q616760) (← links)
- Unification of infinite sets of terms schematized by primal grammars (Q1392278) (← links)
- A complete superposition calculus for primal grammars (Q2352496) (← links)
- Primal grammars and unification modulo a binary clause (Q5210779) (← links)