Travelled to:1 × Poland
1 × USA
Collaborated with:P.G.Kolaitis B.t.Cate J.v.Benthem
Talks about:lindstrom (1) structur (1) quantifi (1) fragment (1) theorem (1) general (1) pebbl (1) order (1) logic (1) first (1)
Person: Jouko A. Väänänen
DBLP: V=auml==auml=n=auml=nen:Jouko_A=
Contributed to:
20071992Wrote 2 papers:
- LICS-2007-CateBV #first-order #logic #theorem
- Lindstrom theorems for fragments of first-order logic (BtC, JvB, JAV), pp. 280–292.
- LICS-1992-VaananenK #finite #game studies #quantifier
- Generalized Quantifiers and Pebble Games on Finite Structures (PGK, JAV), pp. 348–359.