×

Found 1,159 Documents (Results 201–300)

100
MathJax

Extensional confluences and local closure operators. (English) Zbl 1312.68194

Baixeries, Jaume (ed.) et al., Formal concept analysis. 13th international conference, ICFCA 2015, Nerja, Spain, June 23–26, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19544-5/pbk; 978-3-319-19545-2/ebook). Lecture Notes in Computer Science 9113. Lecture Notes in Artificial Intelligence, 128-144 (2015).
PDF BibTeX XML Cite
Full Text: DOI

On closure systems and adjunctions between fuzzy preordered sets. (English) Zbl 1314.06005

Baixeries, Jaume (ed.) et al., Formal concept analysis. 13th international conference, ICFCA 2015, Nerja, Spain, June 23–26, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19544-5/pbk; 978-3-319-19545-2/ebook). Lecture Notes in Computer Science 9113. Lecture Notes in Artificial Intelligence, 114-127 (2015).
MSC:  06A15 06A75
PDF BibTeX XML Cite
Full Text: DOI

Bonds between \(L\)-fuzzy contexts over different structures of truth-degrees. (English) Zbl 1312.68188

Baixeries, Jaume (ed.) et al., Formal concept analysis. 13th international conference, ICFCA 2015, Nerja, Spain, June 23–26, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19544-5/pbk; 978-3-319-19545-2/ebook). Lecture Notes in Computer Science 9113. Lecture Notes in Artificial Intelligence, 81-96 (2015).
MSC:  68T30 03G25 06A15
PDF BibTeX XML Cite
Full Text: DOI

Adjoint triples and residuated aggregators. (English) Zbl 1432.03106

Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 444, 345-354 (2014).
MSC:  03E72 03G25 06A15
PDF BibTeX XML Cite
Full Text: DOI

Generating isotone Galois connections on an unstructured codomain. (English) Zbl 1432.06001

Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 444, 91-99 (2014).
MSC:  06A15 06A06
PDF BibTeX XML Cite
Full Text: DOI

Antitone \(L\)-bonds. (English) Zbl 1415.68224

Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 444, 71-80 (2014).
MSC:  68T30 06A15
PDF BibTeX XML Cite
Full Text: DOI

Chromatic polynomials and rings in species. (English. French summary) Zbl 1393.05160

Proceedings of the 26th international conference on formal power series and algebraic combinatorics, FPSAC 2014, Chicago, IL, USA, June 29 – July 3, 2014. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 691-702 (2014).
PDF BibTeX XML Cite
Full Text: Link

Abstract interpretation from Büchi automata. (English) Zbl 1401.68162

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 51, 10 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI Link

Relation algebra throughout Galois connections. (English) Zbl 1373.03128

Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications (ISBN 978-1-84890-144-5/pbk). 49-62 (2014).
MSC:  03G15 06A15
PDF BibTeX XML Cite

A short introduction to clones. (English) Zbl 1341.08003

Power, John (ed.) et al., Proceedings of the workshop on algebra, coalgebra and topology (WACT 2013), Bath, UK, March 1, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 303, 107-120, electronic only (2014).
MSC:  08A40 06A15 18C10
PDF BibTeX XML Cite
Full Text: DOI

A more general framework for Cogalois theory. (English) Zbl 1346.20026

Ibadula, Denis (ed.) et al., Bridging algebra, geometry, and topology. Selected papers based on the presentations at the international conference “Experimental and theoretical methods in algebra, geometry and topology”, Eforie Nord, Romania, June 20–25, 2013. Cham: Springer (ISBN 978-3-319-09185-3/hbk; 978-3-319-09186-0/ebook). Springer Proceedings in Mathematics & Statistics 96, 37-84 (2014).
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the existence of isotone Galois connections between preorders. (English) Zbl 1444.06003

Glodeanu, Cynthia Vera (ed.) et al., Formal concept analysis. 12th international conference, ICFCA 2014, Cluj-Napoca, Romania, June 10–13, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8478, 67-79 (2014).
MSC:  06A15
PDF BibTeX XML Cite
Full Text: DOI

A Galois connection calculus for abstract interpretation. (English) Zbl 1284.68173

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 3-4 (2014).
PDF BibTeX XML Cite
Full Text: DOI

Formal contexts, formal concept analysis, and Galois connections. (English) Zbl 1464.68383

Banerjee, Anindya (ed.) et al., Semantics, abstract interpretation, and reasoning about programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, September 19–20, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 129, 105-120 (2013).
MSC:  68T30 06A15
PDF BibTeX XML Cite
Full Text: arXiv Link

Concept lattices of a relational structure. (English) Zbl 1351.68277

Pfeiffer, Heather D. (ed.) et al., Conceptual structures for STEM research and education. 20th international conference on conceptual structures, ICCS 2013, Mumbay, India, January 10–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-35785-5/pbk; 978-3-642-35786-2/ebook). Lecture Notes in Computer Science 7735, 301-310 (2013).
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