Preprints available:

1. J. Nurmonen, On winning strategies with unary quantifiers:
   • AMS classification: 03C13, 03C80, 68Q19.
   • Keywords: Ehrenfeucht-Fraisse games, finite model theory, forbidden minors, generalized quantifiers, monadic $\Sigma_1^1$.
   • Revised version appears in, Journal of Logic and Computation, vol. 6(6), pp. 779-798, 1996.
   • Abstract
   • Postscript file
   • PDF-file

2. J. Nurmonen, Counting modulo quantifiers on finite structures:
   • AMS classification: 03C13, 03C80, 68Q15, 68Q19.
   • Keywords: Ehrenfeucht-Fraisse games, finite model theory, counting modulo quantifiers.
   • Revised version appears in, Information and Computation, vol. 160, pp. 62-87, 2000.
   • Abstract
   • Postscript file
   • PDF-file

3. L. Hella and J. Nurmonen, Vectorization hierarchies of some graph quantifiers:
   • AMS classification: 03C13, 03C80, 68Q15, 68Q19.
   • Keywords: Ehrenfeucht-Fraisse games, finite model theory, generalized quantifiers, vectorization.
   • Revised version appears in, Archive for Mathematical Logic, vol. 39(3), pp. 183-207, 2000.
   • Abstract
   • Postscript file
   • PDF-file

4. L. Hella, L. Libkin and J. Nurmonen, Notions of locality and their logical characterizations over finite models:
   • AMS classification: 03C13, 03C80, 68Q15, 68Q19.
   • Revised version appears in, The Journal of Symbolic Logic, vol. 64(4), pp. 1751-1773, 1999.
   • Abstract
   • Postscript file
   • PDF-file

5. L. Libkin and J. Nurmonen, Counting and locality over finite structures - A survey:
   • AMS classification: 03C13, 03C80, 68Q15, 68Q19.
   • Revised version appears in, J. Väänänen (editor), Generalized quantifiers and Computation, Springer Lecture Notes in Computer Science, vol. 1754, pp. 18-50, 1999.
   • Abstract
   • Postscript file
   • PDF-file

6. L. Hella, L. Libkin, J. Nurmonen and L. Wong, Logics with aggregate operators:
   • AMS classification: 03C13, 03C80, 68Q15, 68Q19.
   • Keywords: Finite model theory, database theory, aggregation, expressive power.
   • Revised version appears in, Journal of the ACM, vol. 48(4), pp. 880-907, 2001.
   • Abstract
   • Postscript file
   • PDF-file

7. J. Nurmonen, P vs. NP - kysymys ratkaisun keksimisestä ja sen tarkistamisesta:
   • AMS classification: 68-01.
   • Keywords: theoretical computer science.
   • Revised version to appear in, Arkhimedes.
   • Postscript file
   • PDF-file

8. J. Karhima, J. Nurmonen and M. Pauna, Course Content Dictionary for sharing on-line educational materials:
   • Maths CCA series, Aug 2005
   • On-line article

[Home]

[E-mail]