|
|
|
Volumn , Issue , 1995, Pages 65-78
|
|
Relativized logspace and generalized quantifiers over finite structures
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTABILITY AND DECIDABILITY;
COMPUTATIONAL COMPLEXITY;
COMPUTATIONAL LINGUISTICS;
DATA STRUCTURES;
FINITE AUTOMATA;
FORMAL LANGUAGES;
BRANCHING QUANTIFIERS;
COMPLEXITY CLASSES;
EXPRESSIVE POWER;
FINITE STRUCTURES;
GENERALIZED QUANTIFIERS;
LOGICAL LANGUAGE;
ORACLE;
RELATIVIZED LOGSPACE;
TRANSITIVE CLOSURE;
FORMAL LOGIC;
|
|
EID: 0029190785
PISSN: 10436871
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (9)
|
|
References (40)
|
