Concepedia

Tero Tulenheimo

TT

Statistics

Publications

3

Citations

68

H-Index

3

Active since

2003

Affiliations

Savoirs, Textes, Langage(Current)

Tero Tulenheimo is an author at Savoirs, Textes, Langage specializing in automated reasoning, engineering, and formal methods.

Top concepts

Publications per year

2003–2008

3

Publications

3

From Games to Dialogues and Back: Towards a General Frame for Validity

Shahid Rahman, Tero Tulenheimo · HAL (Le Centre pour la Communication Scientifique Directe) · 2008 · 42 citations

, , +16

On IF Modal Logic and its Expressive Power

Tero Tulenheimo · 2003 · 15 citations

On Modal Logic, IF Logic, and IF Modal Logic

Tero Tulenheimo, Merlijn Sevenster · HAL (Le Centre pour la Communication Scientifique Directe) · 2006 · 11 citations

, , +5

1–3 of 3