×

Found 1,159 Documents (Results 401–500)

100
MathJax

On big lattices of classes of \(R\)-modules defined by closure properties. (English) Zbl 1211.16005

Dinh Van Huynh (ed.) et al., Advances in ring theory. Papers of the conference on algebra and applications, Athens, OH, USA, June 18–21, 2008. Basel: Birkhäuser (ISBN 978-3-0346-0285-3/hbk). Trends in Mathematics, 19-36 (2010).
MSC:  16D90 16S90 06A15
PDF BibTeX XML Cite

Two basic algorithms in concept analysis. (English) Zbl 1274.68484

Kwuida, Léonard (ed.) et al., Formal concept analysis. 8th international conference, ICFCA 2010, Agadir, Morocco, March 15–18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11927-9/pbk). Lecture Notes in Computer Science 5986. Lecture Notes in Artificial Intelligence, 312-340 (2010).
MSC:  68T30 05C85 06A15
PDF BibTeX XML Cite
Full Text: DOI

On links between concept lattices and related complexity problems. (English) Zbl 1274.06021

Kwuida, Léonard (ed.) et al., Formal concept analysis. 8th international conference, ICFCA 2010, Agadir, Morocco, March 15–18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11927-9/pbk). Lecture Notes in Computer Science 5986. Lecture Notes in Artificial Intelligence, 138-144 (2010).
MSC:  06B23 06A15 68Q25
PDF BibTeX XML Cite
Full Text: DOI

Counting of Moore families for \(n=7\). (English) Zbl 1274.05013

Kwuida, Léonard (ed.) et al., Formal concept analysis. 8th international conference, ICFCA 2010, Agadir, Morocco, March 15–18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11927-9/pbk). Lecture Notes in Computer Science 5986. Lecture Notes in Artificial Intelligence, 72-87 (2010).
MSC:  05A15 06A15
PDF BibTeX XML Cite
Full Text: DOI

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

Pre-Galois connection on coalgebras for generic component refinement. (English) Zbl 1279.68061

Pu, Geguang (ed.) et al., Proceedings of the 1st international workshop on harnessing theories for tool support in software (TTSS 2007), Macau, China, September 22–23, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 207, 203-217 (2008).
MSC:  68N30 06A15 18C20
PDF BibTeX XML Cite
Full Text: DOI

Radon and Helly numbers of segment spaces. (English) Zbl 1169.05048

Changat, Manoj (ed.) et al., Convexity in discrete structures. Joint proceedings of the international instructional workshop on convexity in discrete structures, Thiruvananthapuram, Kerala, India, March 22–April 2, 2006 and the international workshop on metric and convex graph theory, Barcelona, Spain, June 12–16, 2006. Mysore: Ramanujan Mathematical Society (ISBN 978-81-902545-5-7/hbk). Ramanujan Mathematical Society Lecture Notes Series 5, 57-71 (2008).
PDF BibTeX XML Cite

Partial polymorphisms and constraint satisfaction problems. (English) Zbl 1171.68502

Creignou, Nadia (ed.) et al., Complexity of constraints. An overview of current research themes. Berlin: Springer (ISBN 978-3-540-92799-0/pbk). Lecture Notes in Computer Science 5250, 229-254 (2008).
PDF BibTeX XML Cite
Full Text: DOI

Non-uniform Boolean constraint satisfaction problems with cardinality constraint. (English) Zbl 1156.68399

Kaminski, Michael (ed.) et al., Computer science logic. 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87530-7/pbk). Lecture Notes in Computer Science 5213, 109-123 (2008).
MSC:  68Q25 06A15 68T20
PDF BibTeX XML Cite
Full Text: DOI

Generalistic mathematics as mathematics for the general public. (English) Zbl 1221.00004

Dorfer, G. (ed.) et al., Proceedings of the 73rd workshop on general algebra “73. Arbeitstagung Allgemeine Algebra”, 22nd conference of young algebraists, Alps-Adriatic-University of Klagenfurt, Austria, February 1–4, 2007. Klagenfurt: Verlag Johannes Heyn (ISBN 978-3-7084-0303-8/pbk). Contributions to General Algebra 18, 211-225 (2008).
MSC:  00A06 06A15
PDF BibTeX XML Cite

Closure lattices of closure spaces. (English) Zbl 1148.06003

Dorfer, G. (ed.) et al., Proceedings of the 73rd workshop on general algebra “73. Arbeitstagung Allgemeine Algebra”, 22nd conference of young algebraists, Alps-Adriatic-University of Klagenfurt, Austria, February 1–4, 2007. Klagenfurt: Verlag Johannes Heyn (ISBN 978-3-7084-0303-8/pbk). Contributions to General Algebra 18, 175-188 (2008).
MSC:  06B23 06A15 06B15
PDF BibTeX XML Cite

Closure systems of equivalence relations and their labeled class geometries. (English) Zbl 1134.68054

Ben Yahia, Sadok (ed.) et al., Concept lattices and their applications. Fourth international conference, CLA 2006, Tunis, Tunisia, October 30–November 1, 2006. Selected papers. Berlin: Springer (ISBN 978-3-540-78920-8/pbk). Lecture Notes in Computer Science 4923. Lecture Notes in Artificial Intelligence, 96-106 (2008).
MSC:  68T30 06A15
PDF BibTeX XML Cite
Full Text: DOI

Extracting program logics from abstract interpretations defined by logical relations. (English) Zbl 1316.68042

Fiore, Marcelo (ed.), Proceedings of the 23rd conference on the mathematical foundations of programming semantics (MFPS XXIII), New Orleans, LA, USA, April 11–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 173, 339-356 (2007).
PDF BibTeX XML Cite
Full Text: DOI

Functorial properties of formal concept analysis. (English) Zbl 1213.68606

Priss, Uta (ed.) et al., Conceptual structures: Knowledge architectures for smart applications. 15th international conference on conceptual structures, ICCS 2007, Sheffield, UK, July 22–27, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73680-6/pbk). Lecture Notes in Computer Science 4604. Lecture Notes in Artificial Intelligence, 505-508 (2007).
PDF BibTeX XML Cite
Full Text: DOI

Characterizing implications of injective partial orders. (English) Zbl 1213.68597

Priss, Uta (ed.) et al., Conceptual structures: Knowledge architectures for smart applications. 15th international conference on conceptual structures, ICCS 2007, Sheffield, UK, July 22–27, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73680-6/pbk). Lecture Notes in Computer Science 4604. Lecture Notes in Artificial Intelligence, 492-495 (2007).
MSC:  68T30 03B05 06A15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification