|
|
|
Volumn , Issue A-20, 1993, Pages 19-38
|
|
Lazy approach to fully-expansive theorem proving
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTATION THEORY;
INFERENCE ENGINES;
OPTIMIZATION;
SECURITY OF DATA;
THEOREM PROVING;
APPLICATIVE PROGRAMMING;
FULLY EXPANSIVE THEOREM PROVER;
HIGHER ORDER LOGIC (HOL);
LAZY CONVERSION;
LAZY THEOREM;
METATHEORETIC PROPERTIES;
PRIMITIVE INFERENCE RULES;
FORMAL LOGIC;
|
|
EID: 0027732343
PISSN: 09265473
EISSN: None
Source Type: Book
DOI: None Document Type: Book |
|
Times cited : (2)
|
|
References (10)
|
