Simplifying Inductive Schemes in Temporal Logic

 

Abstract

Citation

Please, cite this work as:

[Cor+19] P. Cordero, I. Fortes, I. P. de Guzmán, et al. “Simplifying Inductive Schemes in Temporal Logic”. In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain. Ed. by J. Gamper, S. Pinchinat and G. Sciavicco. Vol. 147. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, pp. 19:1-19:13. DOI: 10.4230/LIPICS.TIME.2019.19. URL: https://doi.org/10.4230/LIPIcs.TIME.2019.19.

BibTeX

@InProceedings{Cordero2019a,
     author = {Pablo Cordero and Inmaculada Fortes and Inmaculada Perez {de Guzm{’a}n} and Sixto S{’a}nchez},
     booktitle = {26th International Symposium on Temporal Representation and Reasoning, {TIME} 2019, October 16-19, 2019, M{'{a}}laga, Spain},
     title = {Simplifying Inductive Schemes in Temporal Logic},
     year = {2019},
     editor = {Johann Gamper and Sophie Pinchinat and Guido Sciavicco},
     pages = {19:1–19:13},
     publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{"{u}}r Informatik},
     series = {LIPIcs},
     volume = {147},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/time/CorderoFGS19.bib},
     doi = {10.4230/LIPICS.TIME.2019.19},
     timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
     url = {https://doi.org/10.4230/LIPIcs.TIME.2019.19},
}