Follow
Juha Nurmonen
Juha Nurmonen
Senior lecturer, Haaga-Helia University of Applied Sciences
Verified email at haaga-helia.fi - Homepage
Title
Cited by
Cited by
Year
Logics with aggregate operators
L Hella, L Libkin, J Nurmonen, L Wong
Journal of the ACM (JACM) 48 (4), 880-907, 2001
1082001
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
771999
On winning strategies with unary quantifiers
J Nurmonen
Journal of Logic and Computation 6 (6), 779-798, 1996
471996
Counting modulo quantifiers on finite structures
J Nurmonen
Information and Computation 160 (1-2), 62-87, 2000
452000
WebALT Metadata= LOM+ CCD
J Karhima, J Nurmonen, M Pauna
1st WebALT conference and Exhibition, 127-140, 2006
102006
Counting and locality over finite structures a survey
L Libkin, J Nurmonen
European Summer School in Logic, Language and Information, 18-50, 1997
101997
Unary quantiifers and finite structures
J Nurmonen
61996
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: 9th European Summer School in Logicá…, 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
Notions of locality and their logical characterizations over finite models
L Hella, L Libkin, J Nurmonen
1997
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, ...
The system can't perform the operation now. Try again later.
Articles 1–17