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]
@inproceedings{CorderoFGS19,
title = {Simplifying Inductive Schemes in Temporal Logic},
author = {Pablo Cordero and Inmaculada Fortes and Inmaculada Perez de Guzmán and Sixto Sánchez},
year = {2019},
doi = {10.4230/LIPIcs.TIME.2019.19},
url = {https://doi.org/10.4230/LIPIcs.TIME.2019.19},
researchr = {https://researchr.org/publication/CorderoFGS19},
cites = {0},
citedby = {0},
booktitle = {26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain},
editor = {Johann Gamper and Sophie Pinchinat and Guido Sciavicco},
volume = {147},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-127-6},
}