Tero Tulenheimo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2002–2008
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | AiML | Modal logic of time division. | Tero Tulenheimo |
| 2006 | AiML | On Modal Logic, IF Logic, and IF Modal Logic. | Tero Tulenheimo, Merlijn Sevenster |
| 2006 | CiE | Partially Ordered Connectives and Sum | Merlijn Sevenster, Tero Tulenheimo |
| 2004 | AiML | Decidability of IF Modal Logic of Perfect Recall. | Tapani Hyttinen, Tero Tulenheimo |
| 2002 | AiML | On IF Modal Logic and its Expressive Power. | Tero Tulenheimo |