The following pages link to (Q4539595):
Displaying 7 items.
- Multi-completion with termination tools (Q352956) (← links)
- An efficient subsumption test pipeline for BS(LRA) clauses (Q2104505) (← links)
- Alternating two-way AC-tree automata (Q2373699) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- Abstraction and resolution modulo AC: How to verify Diffie--Hellman-like protocols automatically (Q2484410) (← links)
- Deduction as an Engineering Science (Q4916217) (← links)
- Citius altius fortius (Q4916218) (← links)
