Keyword:structural induction

Papers
Induction with Recursive Definitions in Superposition Márton Hajdu, Petra Hozzová, Laura Kovács and Andrei Voronkov EasyChair Preprint no. 6513
Induction with Generalization in Superposition Reasoning Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint no. 2468
Syntactic and Semantic Soundness of Structural Dataflow Analysis Patrick Cousot EasyChair Preprint no. 1645