|
Volumn 1450 LNCS, Issue , 1998, Pages 751-759
|
One quantifier will do in existential monadic second-order logic over pictures
|
Author keywords
[No Author keywords available]
|
Indexed keywords
MONADIC QUANTIFIER;
MONADIC SECOND-ORDER LOGIC;
WORD MODELS;
COMPUTER CIRCUITS;
FORMAL LOGIC;
ARTIFICIAL INTELLIGENCE;
COMPUTERS;
|
EID: 84896692669
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/bfb0055826 Document Type: Conference Paper |
Times cited : (8)
|
References (7)
|