0546442 - ÚI 2022 US eng J - Journal Article
Balbiani, P. - Boudou, J. - Diéguez, M. - Fernández-Duque, David
Intuitionistic Linear Temporal Logics.
ACM Transactions on Computational Logic. Roč. 21, č. 2 (2020), č. článku 14. ISSN 1529-3785. E-ISSN 1557-945X
Keywords : semantics * programs * Theory of computation * mathematics of computing * intuitionistic logic * temporal logic * bisimulation
Impact factor: 0.625, year: 2020
Permanent Link: http://hdl.handle.net/11104/0322946
Balbiani, P. - Boudou, J. - Diéguez, M. - Fernández-Duque, David
Intuitionistic Linear Temporal Logics.
ACM Transactions on Computational Logic. Roč. 21, č. 2 (2020), č. článku 14. ISSN 1529-3785. E-ISSN 1557-945X
Keywords : semantics * programs * Theory of computation * mathematics of computing * intuitionistic logic * temporal logic * bisimulation
Impact factor: 0.625, year: 2020
Permanent Link: http://hdl.handle.net/11104/0322946