|
Volumn 270, Issue 1-2, 2002, Pages 1-70
|
Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures
|
Author keywords
[No Author keywords available]
|
Indexed keywords
BINARY SEQUENCES;
FORMAL LANGUAGES;
MATRIX ALGEBRA;
SET QUANTIFIERS;
FORMAL LOGIC;
|
EID: 0037028455
PISSN: 03043975
EISSN: None
Source Type: Journal
DOI: 10.1016/S0304-3975(01)00277-8 Document Type: Article |
Times cited : (13)
|
References (24)
|