Travelled to:1 × France
2 × Hungary
2 × Italy
3 × USA
Collaborated with:A.Dawar P.G.Kolaitis P.Galliani J.M.T.Torres K.Lemström ∅ A.Seth K.Luosto L.Libkin J.Nurmonen L.Wong
Talks about:logic (8) finit (4) order (3) quantifi (2) general (2) express (2) model (2) defin (2) infinitari (1) constraint (1)
Person: Lauri Hella
DBLP: Hella:Lauri
Contributed to:
20132006
200019991998
1995199419922016Wrote 10 papers:
- CSL-2013-GallianiH #fixpoint #logic
- Inclusion Logic and Fixed Point Logic (PG, LH), pp. 281–295.
- CSL-2006-HellaT #higher-order #logic #problem
- Complete Problems for Higher Order Logics (LH, JMTT), pp. 380–394.
- LICS-2000-LemstromH #approximate #logic #pattern matching #transitive
- Approximate Pattern Matching is Expressible in Transitive Closure Logic (KL, LH), pp. 157–167.
- LICS-1999-HellaLNW #logic
- Logics with Aggregate Operators (LH, LL, JN, LW), pp. 35–44.
- LICS-1998-DawarHS #finite #quantifier
- Ordering Finite Variable Types with Generalized Quantifiers (AD, LH, AS), pp. 28–43.
- ICALP-1995-DawarHK #finite #logic
- Implicit Definability and Infinitary Logic in Finite Model Theory (AD, LH, PGK), pp. 624–635.
- LICS-1994-DawarH #power of #quantifier
- The Expressive Power of Finitely Many Generalized Quantifiers (AD, LH), pp. 20–29.
- LICS-1994-HellaKL #finite #how #linear #modelling #order
- How to Define a Linear Order on Finite Models (LH, PGK, KL), pp. 40–49.
- LICS-1992-Hella #logic
- Logical Hierarchies in PTIME (LH), pp. 360–368.
- CSL-2016-HellaK #constraints #dependence #logic
- Dependence Logic vs. Constraint Satisfaction (LH, PGK), p. 17.