3 papers
cs.LO2026
Templates in Rewriting Induction
Kasper Hagens, Cynthia Kop
Rewriting Induction (RI) is a formal system in term rewriting to establish program equivalence. The recently defined Bounded RI for higher-order Logically Constrained Term Rewritin…
cs.LO2026
Bounded Rewriting Induction for LCSTRSs
Kasper Hagens, Cynthia Kop
Rewriting Induction (RI) is a method to prove inductive theorems, originating from equational reasoning. By using Logically Constrained Simply-typed Term Rewriting Systems (LCSTRSs…
cs.LO2025
Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
Cynthia Kop, Helida Salles Santos
This volume contains the post-proceedings of the 19th LSFA, which was held in Goiânia, the capital of Goiás state in Brazil, from September 18 to September 20, 2024. Logical and…