Košík

0546442 - ÚI 2022 US eng J - Článek v odborném periodiku
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
Klíčová slova: semantics * programs * Theory of computation * mathematics of computing * intuitionistic logic * temporal logic * bisimulation
Impakt faktor: 0.625, rok: 2020
Trvalý link: http://hdl.handle.net/11104/0322946