Kerkko Luosto

	2012
10		Kerkko Luosto: On vectorizations of unary generalized quantifiers. Arch. Math. Log. 51(3-4): 241-255 (2012)
9		Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema: Weak Models of Distributed Computing, with Connections to Modal Logic CoRR abs/1205.2051: (2012)
	2004
8		Kerkko Luosto: Equicardinality on Linear Orders. LICS 2004: 458-465
	2000
7		Kerkko Luosto: Hierarchies of Monadic Generalized Quantifiers. J. Symb. Log. 65(3): 1241-1263 (2000)
	1997
6		Kerkko Luosto: Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers. ESSLLI 1997: 124-139
5		Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto: How to Define a Linear Order on Finite Models. Ann. Pure Appl. Logic 87(3): 241-267 (1997)
	1996
4		Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto: Almost everywhere equivalence of logics in finite model theory. Bulletin of Symbolic Logic 2(4): 422-443 (1996)
3		Lauri Hella, Kerkko Luosto, Jouko A. Väänänen: The Hierarchy Theorem for Generalized Quantifiers. J. Symb. Log. 61(3): 802-817 (1996)
	1994
2		Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto: How to Define a Linear Order on Finite Models LICS 1994: 40-49
	1992
1		Lauri Hella, Kerkko Luosto: The Beth-Closure of L(Qalpha) Is Not Finitely Generated. J. Symb. Log. 57(2): 442-448 (1992)

Coauthor Index

1	Lauri Hella	[1] [2] [3] [4] [5] [9]
2	Matti Järvisalo	[9]
3	Phokion G. Kolaitis	[2] [4] [5]
4	Antti Kuusisto	[9]
5	Juhana Laurinharju	[9]
6	Tuomo Lempiäinen	[9]
7	Jukka Suomela	[9]
8	Jouko A. Väänänen	[3]
9	Jonni Virtema	[9]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page