Model checking and validity in propositional and modal inclusion logics
Hella, Lauri; Kuusisto, Antti; Meier, Arne; Virtema, Jonni (2019)
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.