BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hella:Lauri

Contributed to:

CSL 20132013
CSL 20062006
LICS 20002000
LICS 19991999
LICS 19981998
ICALP 19951995
LICS 19941994
LICS 19921992
CSL 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.