Model checking and validity in propositional and modal inclusion logics
Hella, Lauri; Kuusisto, Antti; Meier, Arne; Virtema, Jonni (2019)
Avaa tiedosto
avautuu julkiseksi: 11.04.2020
2019
Journal of logic and computation 29 5
605-630
Informaatioteknologian ja viestinnän tiedekunta - Faculty of Information Technology and Communication Sciences
This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.