|
Volumn , Issue , 2001, Pages 29-37
|
A decision procedure for an extensional theory of arrays
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ALGORITHMS;
COMPUTABILITY AND DECIDABILITY;
COMPUTATIONAL COMPLEXITY;
THEOREM PROVING;
AUTOMATED THEOREM PROVING;
FORMAL VERIFICATION;
FORMAL LOGIC;
|
EID: 0034858360
PISSN: 10436871
EISSN: None
Source Type: Journal
DOI: 10.1109/LICS.2001.932480 Document Type: Article |
Times cited : (116)
|
References (15)
|