Juha Nurmonen

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

Collaborative distances:

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

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

Logics with Aggregate Operators.

Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 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