Completed
Other than Viper...
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
David Cerna: Proof Schema and the Refutational Complexity of Their Cut Structure
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Motivating example
- 3 Mechanism behind Schematic Proofs
- 4 Proof Schema: by comparison
- 5 CERES: The Characteristic Clause Set representation
- 6 A Recursive Refutation
- 7 ECA: Cut Structure Inductive Definition
- 8 Viper And The ECA
- 9 NIA: Inductive Definition of Cut Structure
- 10 Other than Viper...
- 11 A Way Out, 1-Strict Monotone Assertion (1-SMA)
- 12 1-SMA: Hardness
- 13 Complexity Measure
- 14 Conclusions & future work
