Pages that link to "Item:Q2892769"
From MaRDI portal
The following pages link to Extending ${\cal H}_1$ -Clauses with Path Disequalities (Q2892769):
Displayed 4 items.
- SPASS-AR: a first-order theorem prover based on approximation-refinement into the monadic shallow linear fragment (Q2303255) (← links)
- Crossing the Syntactic Barrier: Hom-Disequalities for ${\mathcal H}_1$-Clauses (Q2914718) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- Paths, tree homomorphisms and disequalities for -clauses (Q4961723) (← links)