%0 Conference Paper %1 baader95computing %A Baader, Franz %B Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95 %C Santa Cruz, USA %D 1995 %K analysis attribute concept description dl exploration fca formal logic %P 168--178 %T Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology %U citeseer.ist.psu.edu/baader95computing.html

@inproceedings{baader95computing, added-at = {2007-08-30T16:57:56.000+0200}, address = {Santa Cruz, USA}, author = {Baader, Franz}, biburl = {https://www.bibsonomy.org/bibtex/25b19d5b4c170ca819c25d4e4e3379fa8/stumme}, booktitle = {Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, {KRUSE} 95}, interhash = {5e293c4c3ef56d37a85ef222c14be3d6}, intrahash = {5b19d5b4c170ca819c25d4e4e3379fa8}, keywords = {analysis attribute concept description dl exploration fca formal logic}, pages = {168--178}, timestamp = {2007-08-30T16:57:56.000+0200}, title = {Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology}, url = {citeseer.ist.psu.edu/baader95computing.html}, year = 1995 }