Travelled to:
1 × Finland
1 × France
Collaborated with:
∅ L.Hella P.G.Kolaitis
Talks about:
linear (2) order (2) equicardin (1) model (1) finit (1) defin (1)
Person: Kerkko Luosto
DBLP: Luosto:Kerkko
Contributed to:
Wrote 2 papers:
- LICS-2004-Luosto #linear #order
- Equicardinality on Linear Orders (KL), pp. 458–465.
- LICS-1994-HellaKL #finite #how #linear #modelling #order
- How to Define a Linear Order on Finite Models (LH, PGK, KL), pp. 40–49.