Jannik Vierling

Unprovability results for clause set cycles

2022 · Theoretical Computer Science

The notion of clause set cycle abstracts a family of methods for automated inductive theorem proving based on the detection of cyclic dependencies between clause sets. By discerning the underlying logical features of clause set …