Benjam?N R. C. Bedregal
AuthID: R-00H-D0B
1
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
2
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
3
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
WOS4
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
DBLP5
TÃTULO: Semi-BCI algebras
AUTORES: Santiago, R; Bedregal, B; Marcos, J; Caleiro, C; Pinheiro, J;
PUBLICAÇÃO: 2019, FONTE: Journal of Multiple-Valued Logic and Soft Computing, VOLUME: 32, NÚMERO: 1-2
AUTORES: Santiago, R; Bedregal, B; Marcos, J; Caleiro, C; Pinheiro, J;
PUBLICAÇÃO: 2019, FONTE: Journal of Multiple-Valued Logic and Soft Computing, VOLUME: 32, NÚMERO: 1-2
INDEXADO EM: 
Scopus
Scopus6
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 arXiv7
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
