|
|
Volumn , Issue , 1993, Pages 245-255
|
|
Termination and confluence of rule execution
a
a
CWI
(Netherlands)
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTABILITY AND DECIDABILITY;
COMPUTATIONAL COMPLEXITY;
COMPUTATIONAL LINGUISTICS;
COMPUTER AIDED DESIGN;
DATABASE SYSTEMS;
OBJECT ORIENTED PROGRAMMING;
STATE ASSIGNMENT;
SYSTEMS ANALYSIS;
ACTIVE DATABASES;
CONFLUENCE;
DESIGN THEORY;
RULE EXECUTION;
TERMINATION;
KNOWLEDGE BASED SYSTEMS;
|
|
EID: 0027808294
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/170088.170142 Document Type: Conference Paper |
|
Times cited : (28)
|
|
References (17)
|
