Simplifying Inductive Schemes in Temporal Logic

Pablo Cordero, Inmaculada Fortes, Inmaculada Perez de Guzmán, Sixto Sánchez. Simplifying Inductive Schemes in Temporal Logic. In Johann Gamper, Sophie Pinchinat, Guido Sciavicco, editors, 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain. Volume 147 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]

Abstract

Abstract is missing.