2008 | ||
---|---|---|
4 | EE | Lauri Hella, Merlijn Sevenster, Tero Tulenheimo: Partially Ordered Connectives and Monadic Monotone Strict NP. Journal of Logic, Language and Information 17(3): 323-344 (2008) |
2006 | ||
3 | EE | Tero Tulenheimo, Merlijn Sevenster: On Modal Logic, IF Logic, and IF Modal Logic. Advances in Modal Logic 2006: 481-501 |
2 | EE | Merlijn Sevenster, Tero Tulenheimo: Partially Ordered Connectives and Sum11 on Finite Models. CiE 2006: 516-525 |
2004 | ||
1 | Merlijn Sevenster: Battleships as a Decision Problem. ICGA Journal 27(3): 142-149 (2004) |
1 | Lauri Hella | [4] |
2 | Tero Tulenheimo | [2] [3] [4] |