MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Tero Tulenheimo" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

22 On IF Modal Logic and its Expressive Power
by Tero Tulenheimo
… 22 On IF Modal Logic and its Expressive Power Tero Tulenheimo abstract. Independence…
Add To MetaCart

Partially ordered connectives and Σ 1 1 on finite models
by Merlijn Sevenster, Tero Tulenheimo — 2006 — Proceedings of the 2nd Computability in Europe Conference (CiE 2006), Logical Approaches to Computational Barriers, volume LNCS 3988
…Partially ordered connectives and Σ 1 1 on finite models Merlijn Sevenster 1,⋆ and Tero Tulenheimo…
Cited by 1 (1 self) – Add To MetaCart

From games to dialogues and back. Towards a general frame for valitity
by Shahid Rahman, Tero Tulenheimo, U. F. R. De Philosophie, Université Lille
… / Department of Philosophy, University of Helsinki ∗ tero.tulenheimo@(email omitted); Abstract In this article two…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB