Model Checking and Validity in Propositional and Modal Inclusion Logics
Hella, Lauri; Kuusisto, Antti; Meier, Arne; Virtema, Jonni (2017)
Schloss Dagstuhl
2017
42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)
32:1 - 32:14
Creative Commons License CC-BY 3.0