Juha Nurmonen

According to our database, Juha Nurmonen authored at least 7 papers between 1996 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2001

Logics with aggregate operators.

Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong

J. ACM, 2001

2000

Counting Modulo Quantifiers on Finite Structures.

Juha Nurmonen

Inf. Comput., 2000

Vectorization hierarchies of some graph quantifiers.

Lauri Hella, Juha Nurmonen

Arch. Math. Log., 2000

1999

Notions of Locality and Their Logical Characterizations over Finite Models.

Lauri Hella, Leonid Libkin, Juha Nurmonen

J. Symb. Log., 1999

1997

Counting and Locality over Finite Structures: A Survey.

Leonid Libkin, Juha Nurmonen

Proceedings of the Generalized Quantifiers and Computation, 1997

1996

On Winning Strategies with Unary Quantifiers.

Juha Nurmonen

J. Log. Comput., 1996

Counting Modulo Quantifiers on Finite Linearly Ordered Trees.

Juha Nurmonen

Proceedings of the Proceedings, 1996