Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-3
|
Results: 3
A RESTRICTED 2ND-ORDER LOGIC FOR FINITE STRUCTURES
Authors:
DAWAR A
Citation:
A. Dawar, A RESTRICTED 2ND-ORDER LOGIC FOR FINITE STRUCTURES, Information and computation, 143(2), 1998, pp. 154-174
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
INFINITARY LOGIC AND INDUCTIVE DEFINABILITY OVER FINITE STRUCTURES
Authors:
DAWAR A LINDELL S WEINSTEIN S
Citation:
A. Dawar et al., INFINITARY LOGIC AND INDUCTIVE DEFINABILITY OVER FINITE STRUCTURES, Information and computation, 119(2), 1995, pp. 160-175
Risultati:
1-3
|