research
∙
05/15/2023
Quantifier-free induction for lists
We investigate quantifier-free induction for Lisp-like lists constructed...
share
research
∙
10/07/2021
Unprovability results for clause set cycles
The notion of clause set cycle abstracts a family of methods for automat...
research
∙
05/17/2021
Induction and Skolemization in saturation theorem proving
We consider a typical integration of induction in saturation-based theor...
research
∙
10/09/2019