Obserwuj
Juha Nurmonen
Juha Nurmonen
Senior lecturer, Haaga-Helia University of Applied Sciences
Zweryfikowany adres z haaga-helia.fi - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Logics with aggregate operators
L Hella, L Libkin, J Nurmonen, L Wong
Journal of the ACM (JACM) 48 (4), 880-907, 2001
972001
Notions of locality and their logical characterizations over finite models
L Hella, L Libkin, J Nurmonen
The Journal of Symbolic Logic 64 (4), 1751-1773, 1999
721999
On winning strategies with unary quantifiers
J Nurmonen
Journal of Logic and Computation 6 (6), 779-798, 1996
481996
Counting modulo quantifiers on finite structures
J Nurmonen
Information and Computation 160 (1-2), 62-87, 2000
442000
Counting and locality over finite structures A survey
L Libkin, J Nurmonen
European Summer School in Logic, Language and Information, 18-50, 1997
111997
WebALT Metadata= LOM+ CCD
J Karhima, J Nurmonen, M Pauna
1st WebALT conference and Exhibition, 127-140, 2006
102006
Unary quantiifers and finite structures
J Nurmonen
61996
Notions of locality and their logical characterizations over finite models
L Hella, L Libkin, J Nurmonen
31997
Counting module quantifiers on finite linearly ordered trees
J Nurmonen
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 484-493, 1996
31996
Counting module quantifiers on finite linearly ordered trees
J Nurmonen
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 484-493, 1996
31996
Vectorization hierarchies of some graph quantifiers
L Hella, J Nurmonen
Archive for Mathematical Logic 39 (3), 183-207, 2000
22000
Counting and Locality over Finite Structures
L Libkin, J Nurmonen
Generalized Quantifiers and Computation, 18, 2003
2003
P vs. NP-kysymys ratkaisun keksimisestä ja sen tarkistamisesta
J Nurmonen
Arkhimedes 6, 8-11, 2001
2001
doi: 10.1006 Âinco. 2000.2903, available online at http: ÂÂwww. idealibrary. com on
PA Abdulla, R Alur, A Edalat, K Etessami, B Jonsson, G McCusker, ...
Information and Computation 160, 189, 2000
2000
Hop, J. 448
M Abadi, I Abdulla, T Altenkirch, D Aspinall, D Basin, M Benedikt, ...
Lauri Hella University of Helsinki and Leonid Libkin University of Toronto and Bell Labs
J Nurmonen, L Wong
Hop, J. 448
M Abadi, I Abdulla, T Altenkirch, D Aspinall, D Basin, M Benedikt, ...
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–17