Number of the records: 1  

Decidability and Complexity of Some Finitely-valued Dynamic Logics

  1. 1.
    SEDLÁR, I. Decidability and Complexity of Some Finitely-valued Dynamic Logics. In: BIENVENU, M., LAKEMEYER, G., ERDEM, E., eds. Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. Online: IJCAI Organization, 2021, s. 570-580. ISBN 978-1-956792-99-7. ISSN 2334-1033. Available: doi: 10.24963/kr.2021/54
Number of the records: 1  

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