Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-4
|
Results: 4
HOW TO DEFINE A LINEAR ORDER ON FINITE-MODELS
Authors:
HELLA L KOLAITIS PG LUOSTO K
Citation:
L. Hella et al., HOW TO DEFINE A LINEAR ORDER ON FINITE-MODELS, Annals of pure and applied Logic, 87(3), 1997, pp. 241-267
LOGICAL HIERARCHIES IN PTIME
Authors:
HELLA L
Citation:
L. Hella, LOGICAL HIERARCHIES IN PTIME, Information and computation, 129(1), 1996, pp. 1-19
THE HIERARCHY THEOREM FOR GENERALIZED QUANTIFIERS
Authors:
HELLA L LUOSTO K VAANANEN J
Citation:
L. Hella et al., THE HIERARCHY THEOREM FOR GENERALIZED QUANTIFIERS, The Journal of symbolic logic, 61(3), 1996, pp. 802-817
THE EXPRESSIVE POWER OF FINITELY MANY GENERALIZED QUANTIFIERS
Authors:
DAWAR A HELLA L
Citation:
A. Dawar et L. Hella, THE EXPRESSIVE POWER OF FINITELY MANY GENERALIZED QUANTIFIERS, Information and computation, 123(2), 1995, pp. 172-184
Risultati:
1-4
|