×

Found 31 Documents (Results 1–31)

100
MathJax

On rough concept lattices. (English) Zbl 1342.68314

Chen, Y.-X. (ed.) et al., Proceedings of the fifth international symposium on domain theory (ISDT 2009), Shanghai, China, September 12–14, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 257, 117-133 (2009).
PDF BibTeX XML Cite
Full Text: DOI

Abstract interpretation from a denotational-semantics perspective. (English) Zbl 1337.68162

Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 19-37 (2009).
MSC:  68Q55 06A15 06B35
PDF BibTeX XML Cite
Full Text: DOI

Data mining, reasoning and incremental information retrieval through non enlargeable rectangular relation coverage. (English) Zbl 1267.68226

Berghammer, Rudolf (ed.) et al., Relations and Kleene algebra in computer science. 11th international conference on relational methods in computer science, RelMiCS 2009, and 6th international conference on applications of Kleene algebra, AKA 2009, Doha, Qatar, November 1–5, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04638-4/pbk). Lecture Notes in Computer Science 5827, 199-210 (2009).
PDF BibTeX XML Cite
Full Text: DOI

Computing and visualizing closure objects using relation algebra and RelView. (English) Zbl 1260.68477

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 11th international workshop, CASC 2009, Kobe, Japan, September 13–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04102-0/pbk). Lecture Notes in Computer Science 5743, 29-44 (2009).
PDF BibTeX XML Cite
Full Text: DOI

Closure operators for order structures. (English) Zbl 1252.06002

Kutyłowski, Mirosław (ed.) et al., Fundamentals of computation theory. 17th international symposium, FCT 2009, Wrocław, Poland, September 2–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03408-4/pbk). Lecture Notes in Computer Science 5699, 217-229 (2009).
MSC:  06A15 68Q85
PDF BibTeX XML Cite
Full Text: DOI Link

Restructuring lattice theory: an approach based on hierarchies of concepts. (English) Zbl 1247.06004

Ferré, Sébastien (ed.) et al., Formal concept analysis. 7th international conference, ICFCA 2009, Darmstadt, Germany, May 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-01814-5/pbk). Lecture Notes in Computer Science 5548. Lecture Notes in Artificial Intelligence, 314-339 (2009).
PDF BibTeX XML Cite
Full Text: DOI

The \(\mathfrak q\)-theory of finite semigroups. (English) Zbl 1186.20043

Springer Monographs in Mathematics. New York, NY: Springer (ISBN 978-0-387-09780-0/hbk; 978-0-387-09781-7/ebook). xxii, 666 p. (2009).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 3

Classification

Software