VIRTEMA, Jonni

Email Alert RSS Feed

Profile

Full Name
VIRTEMA, Jonni
Email
jonni.virtema@uhasselt.be
 
Loading... 5 0 5 0 false
Loading... 6 0 5 0 false

Publications

Refined By:
Internal UHasselt:  VIRTEMA, Jonni
Type:  Journal Contribution
Author:  Meier, Arne

Results 1-2 of 2 (Search time: 0.001 seconds).

Issue DateTitleContributor(s)TypeCat.
12019Model checking and validity in propositional and modal inclusion logicsHella, Lauri; Kuusisto, Antti; Meier, Arne; VIRTEMA, JonniJournal ContributionA1
22018Approximation and dependence via multiteam semanticsDurand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne; VIRTEMA, JonniJournal ContributionA1