|
Volumn 1, Issue , 1996, Pages 395-401
|
New proof of tractability for ORD-Horn relations
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ALGEBRA;
COMPUTATION THEORY;
COMPUTER NETWORKS;
GEOMETRY;
GRAPH THEORY;
ALLEN ALGEBRA;
PATH CONSISTENT NETWORK;
TEMPORAL RELATIONS;
TRACTABILITY;
KNOWLEDGE BASED SYSTEMS;
|
EID: 0030368636
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (46)
|
References (8)
|