![]() |
| 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] |