Freitas, Romulo Albano de, Hércules de Araujo Feitosa, e Luiz Henrique da Cruz Silvestrini. 2025. “Towards an Algebrization of a Linear Temporal Logic”. C.Q.D. - Revista Eletrônica Paulista De Matemática 25 (julho). Bauru:e25007. https://doi.org/10.21167/cqdv25e25007.