Benjam?N R. C. Bedregal
AuthID: R-00H-D0B
1
TITLE: Relating Kleene Algebras with Pseudo Uninorms
AUTHORS: Benjamín R C Bedregal; Regivan H N Santiago; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2022, SOURCE: 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
AUTHORS: Benjamín R C Bedregal; Regivan H N Santiago; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2022, SOURCE: 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
TITLE: On interval dynamic logic: Introducing quasi-action lattices Full Text
AUTHORS: Regivan Santiago; Benjamin Bedregal; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
AUTHORS: Regivan Santiago; Benjamin Bedregal; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
3
TITLE: Semi-BCI Algebras
AUTHORS: Regivan Santiago; Benjamin Bedregal; Joao Marco; Carlos Caleiro; Jocivania Pinheiro;
PUBLISHED: 2019, SOURCE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 32, ISSUE: 1-2
AUTHORS: Regivan Santiago; Benjamin Bedregal; Joao Marco; Carlos Caleiro; Jocivania Pinheiro;
PUBLISHED: 2019, SOURCE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 32, ISSUE: 1-2
INDEXED IN: 
WOS
WOS4
TITLE: Semi-BCI Algebras
AUTHORS: Regivan H N Santiago; Benjamín R C Bedregal; João Marcos; Carlos Caleiro; Jocivania Pinheiro;
PUBLISHED: 2019, SOURCE: Multiple-Valued Logic and Soft Computing, VOLUME: 32, ISSUE: 1-2
AUTHORS: Regivan H N Santiago; Benjamín R C Bedregal; João Marcos; Carlos Caleiro; Jocivania Pinheiro;
PUBLISHED: 2019, SOURCE: Multiple-Valued Logic and Soft Computing, VOLUME: 32, ISSUE: 1-2
INDEXED IN: 
DBLP
DBLP5
TITLE: Semi-BCI algebras
AUTHORS: Santiago, R; Bedregal, B; Marcos, J; Caleiro, C; Pinheiro, J;
PUBLISHED: 2019, SOURCE: Journal of Multiple-Valued Logic and Soft Computing, VOLUME: 32, ISSUE: 1-2
AUTHORS: Santiago, R; Bedregal, B; Marcos, J; Caleiro, C; Pinheiro, J;
PUBLISHED: 2019, SOURCE: Journal of Multiple-Valued Logic and Soft Computing, VOLUME: 32, ISSUE: 1-2
INDEXED IN: 
Scopus
Scopus6
TITLE: Semi-BCI Algebras PDF
AUTHORS: Regivan H N Santiago; Benjamín R C Bedregal; João Marcos; Carlos Caleiro; Jocivania Pinheiro;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1803.04808
AUTHORS: Regivan H N Santiago; Benjamín R C Bedregal; João Marcos; Carlos Caleiro; Jocivania Pinheiro;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1803.04808
INDEXED IN: DBLP 
arXiv
DBLP arXiv7
TITLE: On Interval Dynamic Logic
AUTHORS: Regivan H N Santiago; Benjamín R C Bedregal; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: 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
AUTHORS: Regivan H N Santiago; Benjamín R C Bedregal; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: 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
