Juha Nurmonen

Publication Activity (10 Years)

Years Active: 1996-2001
Publications (10 Years): 0

Publications

Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong
Logics with aggregate operators. J. ACM 48 (4) (2001)
Juha Nurmonen
Counting Modulo Quantifiers on Finite Structures. Inf. Comput. 160 (1-2) (2000)
Lauri Hella, Juha Nurmonen
Vectorization hierarchies of some graph quantifiers. Arch. Math. Log. 39 (3) (2000)
Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong
Logics with Aggregate Operators. LICS (1999)
Lauri Hella, Leonid Libkin, Juha Nurmonen
Notions of Locality and Their Logical Characterizations over Finite Models. J. Symb. Log. 64 (4) (1999)
Leonid Libkin, Juha Nurmonen
Counting and Locality over Finite Structures: A Survey. ESSLLI (1997)
Juha Nurmonen
Counting Modulo Quantifiers on Finite Linearly Ordered Trees. LICS (1996)
Juha Nurmonen
On Winning Strategies with Unary Quantifiers. J. Log. Comput. 6 (6) (1996)