
Search the dblp DataBase
Juha Nurmonen:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong
Logics with Aggregate Operators. [Citation Graph (1, 0)][DBLP] LICS, 1999, pp:3544 [Conf]
 Juha Nurmonen
On Winning Strategies with Unary Quantifiers. [Citation Graph (1, 0)][DBLP] J. Log. Comput., 1996, v:6, n:6, pp:779798 [Journal]
 Leonid Libkin, Juha Nurmonen
Counting and Locality over Finite Structures: A Survey. [Citation Graph (0, 0)][DBLP] ESSLLI, 1997, pp:1850 [Conf]
 Juha Nurmonen
Counting Modulo Quantifiers on Finite Linearly Ordered Trees. [Citation Graph (0, 0)][DBLP] LICS, 1996, pp:484493 [Conf]
 Juha Nurmonen
Counting Modulo Quantifiers on Finite Structures. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:160, n:12, pp:6287 [Journal]
 Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong
Logics with aggregate operators. [Citation Graph (0, 0)][DBLP] J. ACM, 2001, v:48, n:4, pp:880907 [Journal]
 Lauri Hella, Leonid Libkin, Juha Nurmonen
Notions of Locality and Their Logical Characterizations over Finite Models. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1999, v:64, n:4, pp:17511773 [Journal]
Vectorization hierarchies of some graph quantifiers. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
