Personensuche
X
?
Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods ,
3
Nested Sequents for Quantified Modal Logics:
, In:
?
Multi-Agent Systems and Agreement Technologies; Lecture Notes in Computer Science ,
14