Source:
Lecture Notes in Computer Science ; 21th International Conference on Descriptional Complexity of Formal Systems (DCFS) ; https://hal.inria.fr/hal-02387297 ; 21th International Conference on
Source:
Lecture Notes in Computer Science ; 21th International Conference on Descriptional Complexity of Formal Systems (DCFS) ; https://hal.inria.fr/hal-02387304 ; 21th International Conference on
Source:
Lecture Notes in Computer Science ; 18th International Workshop on Descriptional Complexity of Formal Systems (DCFS) ; https://hal.inria.fr/hal-01633943 ; 18th International Workshop on Descriptional
Source:
Lecture Notes in Computer Science ; 18th International Workshop on Descriptional Complexity of Formal Systems (DCFS) ; https://hal.inria.fr/hal-01633951 ; 18th International Workshop on Descriptional
Source:
9th Workshop on Advances in Modal Logics (AiML'12)https://hal.archives-ouvertes.fr/hal-031949139th Workshop on Advances in Modal Logics (AiML'12), Thomas BolanderTorben Brauner