|
Volumn 147, Issue 1, 2005, Pages 69-79
|
Closure spaces that are not uniquely generated
|
Author keywords
Antimatroid; Concept lattice; Convex; Disjunctive implication; Galois closure
|
Indexed keywords
ALGEBRA;
COMPUTATIONAL GEOMETRY;
FORMAL LOGIC;
GRAPH THEORY;
INTEGRATED CIRCUIT LAYOUT;
MATHEMATICAL MODELS;
MATHEMATICAL OPERATORS;
THEOREM PROVING;
VLSI CIRCUITS;
ANTIMATROID;
CONCEPT LATTICE;
CONVEX;
DISJUNCTIVE IMPLICATION;
GALOIS CLOSURE;
SET THEORY;
|
EID: 13444302343
PISSN: 0166218X
EISSN: None
Source Type: Journal
DOI: 10.1016/j.dam.2004.06.021 Document Type: Article |
Times cited : (12)
|
References (17)
|