The following pages link to (Q4539622):
Displayed 8 items.
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Superposition-based equality handling for analytic tableaux (Q877891) (← links)
- Automatic construction and verification of isotopy invariants (Q928664) (← links)
- Limited resource strategy in resolution theorem proving (Q1404979) (← links)
- Alternating two-way AC-tree automata (Q2373699) (← links)
- Automation for interactive proof: first prototype (Q2432769) (← links)
- Translating higher-order clauses to first-order clauses (Q2471742) (← links)
- Abstraction and resolution modulo AC: How to verify Diffie--Hellman-like protocols automatically (Q2484410) (← links)