×

Found 70 Documents (Results 1–70)

100
MathJax

A verified algorithm enumerating event structures. (English) Zbl 1367.68245

Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 239-254 (2017).
MSC:  68T15 05A15 06-04 68Q10 68U35
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

AddIntent: A new incremental algorithm for constructing concept lattices. (English) Zbl 1198.68251

Eklund, Peter (ed.), Concept lattices. Second international conference on formal concept analysis, ICFCA 2004, Sydney, Australia, February 23–26, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21043-1/pbk). Lecture Notes in Computer Science 2961. Lecture Notes in Artificial Intelligence, 372-385 (2004).
MSC:  68T30 06-04 68W05
PDF BibTeX XML Cite
Full Text: DOI

Automated lattice drawing. (English) Zbl 1198.06001

Eklund, Peter (ed.), Concept lattices. Second international conference on formal concept analysis, ICFCA 2004, Sydney, Australia, February 23–26, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21043-1/pbk). Lecture Notes in Computer Science 2961. Lecture Notes in Artificial Intelligence, 112-127 (2004).
MSC:  06-04 06B99 68U05
PDF BibTeX XML Cite
Full Text: DOI

A generic scheme for the design of efficient on-line algorithms for lattices. (English) Zbl 1274.68502

de Moor, Aldo (ed.) et al., Conceptual structures for knowledge creation and communication. 11th international conference on conceptual structures, ICCS 2003, Dresden, Germany, July 21–25, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40576-3/pbk). Lect. Notes Comput. Sci. 2746, 282-295 (2003).
MSC:  68T30 06-04 68W27
PDF BibTeX XML Cite
Full Text: DOI

Time and space efficient algorithms for decomposition of certain partially ordered sets. (English) Zbl 1015.06001

Bayreuther Mathematische Schriften 65. Bayreuth: Univ. Bayreuth, Mathematisches Institut, Bonn: Univ. Bonn, Institut für Informatik (Thesis 2000), 121 p. (2002).
PDF BibTeX XML Cite

Robbins algebras vs. Boolean algebras. (English) Zbl 0984.06500

Buchberger, Bruno (ed.) et al., Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24-26, 2001. Linz: Univ. Linz, 12 p. (2001).
MSC:  06E05 68T15 06-04
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software