The following pages link to (Q4539608):
Displayed 6 items.
- Cancellative Abelian monoids and related structures in refutational theorem proving. II (Q1864899) (← links)
- Superposition as a decision procedure for timed automata (Q1949086) (← links)
- Superposition decides the first-order logic fragment over ground theories (Q1949088) (← links)
- Superposition Modulo Linear Arithmetic SUP(LA) (Q3655193) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- Combinable Extensions of Abelian Groups (Q5191096) (← links)