The following pages link to (Q4524769):
Displaying 13 items.
- Automated flaw detection in algebraic specifications (Q616853) (← links)
- A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux (Q877883) (← links)
- Lightweight relevance filtering for machine-generated resolution problems (Q1006731) (← links)
- Extending Sledgehammer with SMT solvers (Q2351158) (← links)
- Automation for interactive proof: first prototype (Q2432769) (← links)
- Collaborative Interactive Theorem Proving with Clide (Q2879270) (← links)
- (Q3336730) (← links)
- Automating Algebraic Specifications of Non-freely Generated Data Types (Q3540070) (← links)
- (Q4539627) (← links)
- Extending Sledgehammer with SMT Solvers (Q5200019) (← links)
- Integration of automated and interactive theorem proving in ILF (Q5234689) (← links)
- Bounded Relational Analysis of Free Data Types (Q5458813) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899057) (← links)