Basket

    1.
    0546446 - ÚI 2022 DE eng J - Journal Article
    Fernández-Duque, David
    The intuitionistic temporal logic of dynamical systems.
    Logical Methods in Computer Science. Roč. 14, č. 3 (2018), č. článku 3. ISSN 1860-5974. E-ISSN 1860-5974
    Keywords : provability logic * intuitionistic logic * temporal logic * dynamical topological systems
    Impact factor: 0.432, year: 2018
    Permanent Link: http://hdl.handle.net/11104/0322950
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all