Implicates and Reduction Techniques for Temporal Logics

 

Abstract

Citation

Please, cite this work as:

[GOA98] I. P. de Guzmán, M. Ojeda-Aciego, and Agust'. “Implicates and Reduction Techniques for Temporal Logics”. In: Logics in Artificial Intelligence, European Workshop, JELIA ’98, Dagstuhl, Germany, October 12-15, 1998, Proceedings. Ed. by J. Dix, L. F. del Cerro and U. Furbach. Vol. 1489. Lecture Notes in Computer Science. Springer, 1998, pp. 309-323. DOI: 10.1007/3-540-49545-2_21. URL: https://doi.org/10.1007/3-540-49545-2_21.

BibTeX

@InProceedings{Guzman1998,
     author = {Inman P. {de Guzm{’a}n} and Manuel Ojeda-Aciego and Agust'Valverde},
     booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} ’98, Dagstuhl, Germany, October 12-15, 1998, Proceedings},
     title = {Implicates and Reduction Techniques for Temporal Logics},
     year = {1998},
     editor = {J{"u}rgen Dix and Luis Fari~nas {del Cerro} and Ulrich Furbach},
     pages = {309–323},
     publisher = {Springer},
     series = {Lecture Notes in Computer Science},
     volume = {1489},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/jelia/GuzmanOV98.bib},
     doi = {10.1007/3-540-49545-2_21},
     timestamp = {Tue, 14 May 2019 10:00:44 +0200},
     url = {https://doi.org/10.1007/3-540-49545-2_21},
}

Papers citing this work

The following is a non-exhaustive list of papers that cite this work:

[1] G. Aguilera, I. de Guzmán, M. Ojeda-Aciego, et al. “Reductions for non-clausal theorem proving”. In: Theoretical Computer Science 266.1–2 (Sep. 2001), p. 81–112. ISSN: 0304-3975. DOI: 10.1016/s0304-3975(00)00044-x. URL: http://dx.doi.org/10.1016/s0304-3975(00)00044-x.