![]() |
Volumn 1139, Issue , 1996, Pages 122-134
|
Standardization theorem revisited
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ALGEBRA;
COMPUTATION THEORY;
COMPUTATIONAL MECHANICS;
COMPUTER CIRCUITS;
FORMAL LOGIC;
LOGIC PROGRAMMING;
RECONFIGURABLE HARDWARE;
CONDITIONAL REWRITE SYSTEMS;
CONDITIONAL TERM REWRITING SYSTEMS;
EXTRA VARIABLES;
REWRITE RULES;
RIGHT-HAND SIDES;
STANDARDIZATION THEOREM;
TERM REWRITING SYSTEMS;
TRANSFORMATIONAL APPROACH;
STANDARDIZATION;
|
EID: 84958774193
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/3-540-61735-3_8 Document Type: Conference Paper |
Times cited : (6)
|
References (11)
|