Number of the records: 1  

Decidability and Complexity of Some Finitely-valued Dynamic Logics

  1. 1.
    Sedlár, Igor
    Decidability and Complexity of Some Finitely-valued Dynamic Logics.
    Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. Online: IJCAI Organization, 2021 - (Bienvenu, M.; Lakemeyer, G.; Erdem, E.), s. 570-580. ISBN 978-1-956792-99-7. ISSN 2334-1033.
    [KR2021: International Conference on Principles of Knowledge Representation and Reasoning /18./. Hanoi / Online (VN), 03.11.2021-12.11.2021]
    OECD category: Pure mathematics
    http://hdl.handle.net/11104/0323528
Number of the records: 1  

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