Pages that link to "Item:Q2352496"
From MaRDI portal
The following pages link to A complete superposition calculus for primal grammars (Q2352496):
Displaying 5 items.
- A combined superposition and model evolution calculus (Q438531) (← links)
- The first order theory of primal grammars is decidable (Q1882903) (← links)
- Superposition with equivalence reasoning and delayed clause normal form transformation (Q2486577) (← links)
- (Q3680296) (← links)
- Primal grammars and unification modulo a binary clause (Q5210779) (← links)