Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-3
|
Results: 3
Vectorization hierarchies of some graph quantifiers
Authors:
Hella, L Nurmonen, J
Citation:
L. Hella et J. Nurmonen, Vectorization hierarchies of some graph quantifiers, ARCH MATH L, 39(3), 2000, pp. 183-207
Counting module quantifiers on finite structures
Authors:
Nurmonen, J
Citation:
J. Nurmonen, Counting module quantifiers on finite structures, INF COMPUT, 160(1-2), 2000, pp. 62-87
Notions of locality and their logical characterizations over finite models
Authors:
Hella, L Libkin, L Nurmonen, J
Citation:
L. Hella et al., Notions of locality and their logical characterizations over finite models, J SYMB LOG, 64(4), 1999, pp. 1751-1773
Risultati:
1-3
|