|
Search the dblp DataBase
Kerkko Luosto:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto
How to Define a Linear Order on Finite Models [Citation Graph (1, 0)][DBLP] LICS, 1994, pp:40-49 [Conf]
- Kerkko Luosto
Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers. [Citation Graph (0, 0)][DBLP] ESSLLI, 1997, pp:124-139 [Conf]
- Kerkko Luosto
Equicardinality on Linear Orders. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:458-465 [Conf]
- Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto
How to Define a Linear Order on Finite Models. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1997, v:87, n:3, pp:241-267 [Journal]
- Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto
Almost everywhere equivalence of logics in finite model theory. [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 1996, v:2, n:4, pp:422-443 [Journal]
- Lauri Hella, Kerkko Luosto
The Beth-Closure of L(Qalpha) Is Not Finitely Generated. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1992, v:57, n:2, pp:442-448 [Journal]
- Lauri Hella, Kerkko Luosto, Jouko A. Väänänen
The Hierarchy Theorem for Generalized Quantifiers. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1996, v:61, n:3, pp:802-817 [Journal]
- Kerkko Luosto
Hierarchies of Monadic Generalized Quantifiers. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 2000, v:65, n:3, pp:1241-1263 [Journal]
Search in 0.014secs, Finished in 0.015secs
|