Вы здесь

Главная

динамическая логика

Связанные издания:

Automated Reasoning with Analytic Tableaux and Related Methods: Proc./30th International Conference, TABLEAUX 2021, Birmingham, UK, September 2021
Dynamic Logic: New Trends and Applications: Proc./2nd International Workshop, DaLi 2019, Porto, Portugal, October 2019
Dynamic Logic: New Trends and Applications: Revised Selected Papers/3rd International Workshop, DaLi 2020, Prague, Czech Republic, October 2020
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2022, Deerfield Beach,FL,USA, January 2022
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Molecular Logic and Computational Synthetic Biology: Revised Selected Papers/1st International Symposium, MLCSB 2018, Santiago, Chile, December 2018
Сравнение выразительной силы некоторых динамических логик