Regivan H. N. Santiago
AuthID: R-00H-6TZ
1
TÃTULO: Aggregation-based operations for reversal fuzzy switch graphs Full Text
AUTORES: Campos, Suene; Santiago, Regivan; Martins, Manuel A. ; Figueiredo, Daniel ;
PUBLICAÇÃO: 2023, FONTE: FUZZY SETS AND SYSTEMS, VOLUME: 466
AUTORES: Campos, Suene; Santiago, Regivan; Martins, Manuel A. ; Figueiredo, Daniel ;
PUBLICAÇÃO: 2023, FONTE: FUZZY SETS AND SYSTEMS, VOLUME: 466
2
TÃTULO: Relating Kleene Algebras with Pseudo Uninorms
AUTORES: Benjamín R C Bedregal; Regivan H N Santiago; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2022, FONTE: 4th International Workshop on Dynamic Logic, DaLí 2022 in Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers, VOLUME: 13780
AUTORES: Benjamín R C Bedregal; Regivan H N Santiago; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2022, FONTE: 4th International Workshop on Dynamic Logic, DaLí 2022 in Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers, VOLUME: 13780
3
TÃTULO: Introducing fuzzy reactive graphs: a simple application on biology Full Text
AUTORES: Santiago, R; Martins, MA ; Figueiredo, D;
PUBLICAÇÃO: 2021, FONTE: SOFT COMPUTING, VOLUME: 25, NÚMERO: 9
AUTORES: Santiago, R; Martins, MA ; Figueiredo, D;
PUBLICAÇÃO: 2021, FONTE: SOFT COMPUTING, VOLUME: 25, NÚMERO: 9
4
TÃTULO: Reversal Fuzzy Switch Graphs
AUTORES: Suene Campos; Regivan H N Santiago; Manuel A Martins ; Daniel Figueiredo;
PUBLICAÇÃO: 2020, FONTE: 23rd Brazilian Symposium on Formal Methods, SBMF 2020 in Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, VOLUME: 12475
AUTORES: Suene Campos; Regivan H N Santiago; Manuel A Martins ; Daniel Figueiredo;
PUBLICAÇÃO: 2020, FONTE: 23rd Brazilian Symposium on Formal Methods, SBMF 2020 in Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, VOLUME: 12475
5
TÃTULO: On interval dynamic logic: Introducing quasi-action lattices Full Text
AUTORES: Regivan Santiago; Benjamin Bedregal; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2019, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
AUTORES: Regivan Santiago; Benjamin Bedregal; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2019, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
6
TÃTULO: Semi-BCI Algebras
AUTORES: Regivan Santiago; Benjamin Bedregal; Joao Marco; Carlos Caleiro; Jocivania Pinheiro;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 32, NÚMERO: 1-2
AUTORES: Regivan Santiago; Benjamin Bedregal; Joao Marco; Carlos Caleiro; Jocivania Pinheiro;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 32, NÚMERO: 1-2
INDEXADO EM: 
WOS
WOS7
TÃTULO: Semi-BCI Algebras
AUTORES: Regivan H N Santiago; Benjamín R C Bedregal; João Marcos; Carlos Caleiro; Jocivania Pinheiro;
PUBLICAÇÃO: 2019, FONTE: Multiple-Valued Logic and Soft Computing, VOLUME: 32, NÚMERO: 1-2
AUTORES: Regivan H N Santiago; Benjamín R C Bedregal; João Marcos; Carlos Caleiro; Jocivania Pinheiro;
PUBLICAÇÃO: 2019, FONTE: Multiple-Valued Logic and Soft Computing, VOLUME: 32, NÚMERO: 1-2
INDEXADO EM: 
DBLP
DBLP8
TÃTULO: Semi-BCI Algebras PDF
AUTORES: Regivan H N Santiago; Benjamín R C Bedregal; João Marcos; Carlos Caleiro; Jocivania Pinheiro;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1803.04808
AUTORES: Regivan H N Santiago; Benjamín R C Bedregal; João Marcos; Carlos Caleiro; Jocivania Pinheiro;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1803.04808
INDEXADO EM: DBLP 
arXiv
DBLP arXiv9
TÃTULO: On Interval Dynamic Logic
AUTORES: Regivan H N Santiago; Benjamín R C Bedregal; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: 19th Brazilian Symposium on Formal Methods, SBMF 2016 in Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, VOLUME: 10090
AUTORES: Regivan H N Santiago; Benjamín R C Bedregal; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: 19th Brazilian Symposium on Formal Methods, SBMF 2016 in Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, VOLUME: 10090
