Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Živný, Stanislav Galois connections for patterns: an algebra of labelled graphs. (English) Zbl 1467.68176 Cochez, Michael (ed.) et al., Graph structures for knowledge representation and reasoning. 6th international workshop, GKR 2020, virtual event, September 5, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12640, 125-150 (2021). MSC: 68T30 05C78 06A15 68R10 PDF BibTeX XML Cite \textit{D. A. Cohen} et al., Lect. Notes Comput. Sci. 12640, 125--150 (2021; Zbl 1467.68176) Full Text: DOI OpenURL
Al-Sibahi, Ahmad Salim; Jensen, Thomas; Møgelberg, Rasmus Ejlers; Wąsowski, Andrzej Galois connections for recursive types. (English) Zbl 1440.68042 Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 105-131 (2020). MSC: 68N18 06A15 68N15 68N30 68Q42 PDF BibTeX XML Cite \textit{A. S. Al-Sibahi} et al., Lect. Notes Comput. Sci. 12065, 105--131 (2020; Zbl 1440.68042) Full Text: DOI OpenURL
Nop, G. N.; Romanowska, A. B.; Smith, J. D. H. Category theory as a foundation for the concept analysis of complex systems and time series. (English) Zbl 1454.06003 Kuś, Marek (ed.) et al., Category theory in physics, mathematics, and philosophy. Proceedings of the conference “Category Theory in Physics, Mathematics and Philosophy”, Warsaw, Poland, November 16–17, 2017. Cham: Springer; Warsaw: International Center for Formal Ontology. Springer Proc. Phys. 235, 119-134 (2019). MSC: 06B23 06B75 06A15 18B35 PDF BibTeX XML Cite \textit{G. N. Nop} et al., Springer Proc. Phys. 235, 119--134 (2019; Zbl 1454.06003) Full Text: DOI OpenURL
Krídlo, O.; Ojeda-Aciego, M. An adjoint pair for intuitionistic \(L\)-fuzzy values. (English) Zbl 1430.68334 Cornejo, María Eugenia (ed.) et al., Trends in mathematics and computational intelligence. Selected papers based on the presentations at the 9th European symposium on computational intelligence and mathematics, ESCIM 2017, Faro, Portugal, October 4–7, 2017. Cham: Springer. Stud. Comput. Intell. 796, 167-173 (2019). MSC: 68T30 06A15 06B23 06F05 68T37 PDF BibTeX XML Cite \textit{O. Krídlo} and \textit{M. Ojeda-Aciego}, Stud. Comput. Intell. 796, 167--173 (2019; Zbl 1430.68334) Full Text: DOI OpenURL
Linard, Alexis; de la Higuera, Colin; Vaandrager, Frits Learning unions of \(k\)-testable languages. (English) Zbl 1425.68150 Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 328-339 (2019). MSC: 68Q32 06A15 68Q45 PDF BibTeX XML Cite \textit{A. Linard} et al., Lect. Notes Comput. Sci. 11417, 328--339 (2019; Zbl 1425.68150) Full Text: DOI arXiv OpenURL
Cattaneo, Gianpiero Algebraic methods for rough approximation spaces by lattice interior-closure operations. (English) Zbl 1437.03150 Mani, A. (ed.) et al., Algebraic methods in general rough sets. Cham: Birkhäuser. Trends Math., 13-156 (2018). MSC: 03E72 03G10 03G25 06A15 06C15 06D30 68T37 PDF BibTeX XML Cite \textit{G. Cattaneo}, in: Algebraic methods in general rough sets. Cham: Birkhäuser. 13--156 (2018; Zbl 1437.03150) Full Text: DOI OpenURL
Ranzato, Francesco On constructivity of Galois connections. (English) Zbl 1446.68035 Dillig, Isil (ed.) et al., Verification, model checking, and abstract interpretation. 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7–9, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10747, 452-473 (2018). MSC: 68N30 06A15 68Q55 PDF BibTeX XML Cite \textit{F. Ranzato}, Lect. Notes Comput. Sci. 10747, 452--473 (2018; Zbl 1446.68035) Full Text: DOI arXiv Link OpenURL
Kuznetsov, Sergei O.; Makhazhanov, Nurtas; Ushakov, Maxim On neural network architecture based on concept lattices. (English) Zbl 1461.68185 Kryszkiewicz, Marzena (ed.) et al., Foundations of intelligent systems. 23rd international symposium, ISMIS 2017, Warsaw, Poland, June 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10352, 653-663 (2017). MSC: 68T05 06A15 06B99 68T30 92B20 PDF BibTeX XML Cite \textit{S. O. Kuznetsov} et al., Lect. Notes Comput. Sci. 10352, 653--663 (2017; Zbl 1461.68185) Full Text: DOI OpenURL
Valverde-Albacete, Francisco J.; Peláez-Moreno, Carmen Towards Galois connections over positive semifields. (English) Zbl 1455.68203 Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 81-92 (2016). MSC: 68T30 06A15 12K10 PDF BibTeX XML Cite \textit{F. J. Valverde-Albacete} and \textit{C. Peláez-Moreno}, Commun. Comput. Inf. Sci. 611, 81--92 (2016; Zbl 1455.68203) Full Text: DOI Link OpenURL
Perera, Roly; Garg, Deepak; Cheney, James Causally consistent dynamic slicing. (English) Zbl 1392.68313 Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 18, 15 p. (2016). MSC: 68Q85 06A15 68N30 PDF BibTeX XML Cite \textit{R. Perera} et al., LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 18, 15 p. (2016; Zbl 1392.68313) Full Text: DOI arXiv OpenURL
Darais, David; Van Horn, David Constructive Galois connections: taming the Galois connection framework for mechanized metatheory. (English) Zbl 1361.68129 Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 311-324 (2016). MSC: 68Q55 06A15 68Q60 68T15 PDF BibTeX XML Cite \textit{D. Darais} and \textit{D. Van Horn}, in: Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP '16, Nara, Japan, September 18--22, 2016. New York, NY: Association for Computing Machinery (ACM). 311--324 (2016; Zbl 1361.68129) Full Text: DOI arXiv OpenURL
Adaricheva, K.; Nation, J. B. Bases of closure systems. (English) Zbl 1403.06004 Grätzer, George (ed.) et al., Lattice theory: special topics and applications. Volume 2. Basel: Birkhäuser/Springer (ISBN 978-3-319-44235-8/pbk; 978-3-319-44236-5/ebook). 181-213 (2016). Reviewer: Lavinia Ciungu (Iowa City) MSC: 06B05 06A15 06D75 PDF BibTeX XML Cite \textit{K. Adaricheva} and \textit{J. B. Nation}, in: Lattice theory: special topics and applications. Volume 2. Basel: Birkhäuser/Springer. 181--213 (2016; Zbl 1403.06004) Full Text: DOI OpenURL
Adaricheva, K.; Nation, J. B. Convex geometries. (English) Zbl 1390.06005 Grätzer, George (ed.) et al., Lattice theory: special topics and applications. Volume 2. Basel: Birkhäuser/Springer (ISBN 978-3-319-44235-8/pbk; 978-3-319-44236-5/ebook). 153-179 (2016). MSC: 06B05 06B15 52A05 52A37 06A15 06C10 05B25 PDF BibTeX XML Cite \textit{K. Adaricheva} and \textit{J. B. Nation}, in: Lattice theory: special topics and applications. Volume 2. Basel: Birkhäuser/Springer. 153--179 (2016; Zbl 1390.06005) Full Text: DOI OpenURL
Adaricheva, K.; Nation, J. B. Lattices of algebraic subsets and implicational classes. (English) Zbl 1375.06005 Grätzer, George (ed.) et al., Lattice theory: special topics and applications. Volume 2. Basel: Birkhäuser/Springer (ISBN 978-3-319-44235-8/pbk; 978-3-319-44236-5/ebook). 103-151 (2016). Reviewer: V. N. Saliĭ (Saratov) MSC: 06B05 06B15 06B20 08C15 06A15 PDF BibTeX XML Cite \textit{K. Adaricheva} and \textit{J. B. Nation}, in: Lattice theory: special topics and applications. Volume 2. Basel: Birkhäuser/Springer. 103--151 (2016; Zbl 1375.06005) Full Text: DOI OpenURL
Valverde-Albacete, Francisco J.; Peláez-Moreno, Carmen; Del Campo, Cristina Activating generalized fuzzy implications from Galois connections. (English) Zbl 1360.03070 Magdalena, Luis (ed.) et al., Enric Trillas: a passion for fuzzy sets. A collection of recent works on fuzzy logic. Cham: Springer (ISBN 978-3-319-16234-8/hbk; 978-3-319-16235-5/ebook). Studies in Fuzziness and Soft Computing 322, 201-212 (2015). MSC: 03B52 03G25 06A15 68T30 06F25 PDF BibTeX XML Cite \textit{F. J. Valverde-Albacete} et al., Stud. Fuzziness Soft Comput. 322, 201--212 (2015; Zbl 1360.03070) Full Text: DOI Link OpenURL
Möller, Bernhard Towards antichain algebra. (English) Zbl 1471.68086 Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 15th international conference, RAMiCS 2015, Braga, Portugal, September 28 – October 1, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9348, 344-361 (2015). MSC: 68P15 06A06 06A15 PDF BibTeX XML Cite \textit{B. Möller}, Lect. Notes Comput. Sci. 9348, 344--361 (2015; Zbl 1471.68086) Full Text: DOI Link OpenURL
Tzoref-Brill, Rachel; Maoz, Shahar Lattice-based semantics for combinatorial model evolution. (English) Zbl 1471.68125 Finkbeiner, Bernd (ed.) et al., Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12–15, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9364, 276-292 (2015). MSC: 68Q55 06A15 06B23 68N30 PDF BibTeX XML Cite \textit{R. Tzoref-Brill} and \textit{S. Maoz}, Lect. Notes Comput. Sci. 9364, 276--292 (2015; Zbl 1471.68125) Full Text: DOI OpenURL
Fulla, Peter; Živný, Stanislav A Galois connection for valued constraint languages of infinite size. (English) Zbl 1440.68115 Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9134, 517-528 (2015). MSC: 68Q25 06A15 08A40 08A70 PDF BibTeX XML Cite \textit{P. Fulla} and \textit{S. Živný}, Lect. Notes Comput. Sci. 9134, 517--528 (2015; Zbl 1440.68115) Full Text: DOI OpenURL
Soldano, Henry 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). MSC: 68T30 06A15 06B99 68R10 91D30 PDF BibTeX XML Cite \textit{H. Soldano}, Lect. Notes Comput. Sci. 9113, 128--144 (2015; Zbl 1312.68194) Full Text: DOI OpenURL
García-Pardo, F.; Cabrera, I. P.; Cordero, P.; Ojeda-Aciego, M. 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 \textit{F. García-Pardo} et al., Lect. Notes Comput. Sci. 9113, 114--127 (2015; Zbl 1314.06005) Full Text: DOI OpenURL
Konecny, Jan 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 \textit{J. Konecny}, Lect. Notes Comput. Sci. 9113, 81--96 (2015; Zbl 1312.68188) Full Text: DOI OpenURL
Cornejo, María Eugenia; Medina, Jesús; Ramírez-Poussa, Eloisa 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 \textit{M. E. Cornejo} et al., Commun. Comput. Inf. Sci. 444, 345--354 (2014; Zbl 1432.03106) Full Text: DOI OpenURL
García-Pardo, Francisca; Cabrera, Inma P.; Cordero, Pablo; Ojeda-Aciego, Manuel; Rodríguez, Francisco J. 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 \textit{F. García-Pardo} et al., Commun. Comput. Inf. Sci. 444, 91--99 (2014; Zbl 1432.06001) Full Text: DOI OpenURL
Konecny, Jan 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 \textit{J. Konecny}, Commun. Comput. Inf. Sci. 444, 71--80 (2014; Zbl 1415.68224) Full Text: DOI OpenURL
White, Jacob A. 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). MSC: 05C31 05C15 05E05 06A15 PDF BibTeX XML Cite \textit{J. A. White}, in: 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). 691--702 (2014; Zbl 1393.05160) Full Text: Link OpenURL
Hofmann, Martin; Chen, Wei 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). MSC: 68Q45 06A15 06B05 68N30 68Q65 PDF BibTeX XML Cite \textit{M. Hofmann} and \textit{W. Chen}, in: 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. Paper No. 51, 10 p. (2014; Zbl 1401.68162) Full Text: DOI Link OpenURL
de Freitas, Renata; Suguitani, Leandro; Viana, Petrucio 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 \textit{R. de Freitas} et al., in: The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17--21, 2013. London: College Publications. 49--62 (2014; Zbl 1373.03128) OpenURL
Kerkhoff, Sebastian; Pöschel, Reinhard; Schneider, Friedrich Martin 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 \textit{S. Kerkhoff} et al., Electron. Notes Theor. Comput. Sci. 303, 107--120 (2014; Zbl 1341.08003) Full Text: DOI OpenURL
Basarab, Şerban A. 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). Reviewer: Toma Albu (Bucureşti) MSC: 20E18 06A15 12F10 12F05 12G05 20E15 06E15 PDF BibTeX XML Cite \textit{Ş. A. Basarab}, Springer Proc. Math. Stat. 96, 37--84 (2014; Zbl 1346.20026) Full Text: DOI arXiv OpenURL
Soldano, Henry Closed patterns and abstraction beyond lattices. (English) Zbl 1444.68213 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, 203-218 (2014). MSC: 68T30 06A15 PDF BibTeX XML Cite \textit{H. Soldano}, Lect. Notes Comput. Sci. 8478, 203--218 (2014; Zbl 1444.68213) Full Text: DOI OpenURL
García-Pardo, Francisca; Cabrera, Inma P.; Cordero, Pablo; Ojeda-Aciego, Manuel; Rodríguez-Sanchez, Francisco J. 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 \textit{F. García-Pardo} et al., Lect. Notes Comput. Sci. 8478, 67--79 (2014; Zbl 1444.06003) Full Text: DOI OpenURL
Rudolph, Sebastian On the succinctness of closure operator representations. (English) Zbl 1444.68212 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, 15-36 (2014). MSC: 68T30 06A15 PDF BibTeX XML Cite \textit{S. Rudolph}, Lect. Notes Comput. Sci. 8478, 15--36 (2014; Zbl 1444.68212) Full Text: DOI OpenURL
Cousot, Patrick; Cousot, Radhia 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). MSC: 68N30 06A15 68Q55 68Q60 PDF BibTeX XML Cite \textit{P. Cousot} and \textit{R. Cousot}, in: 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). 3--4 (2014; Zbl 1284.68173) Full Text: DOI OpenURL
Denniston, Jeffrey T.; Melton, Austin; Rodabaugh, Stephen E. 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 \textit{J. T. Denniston} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 129, 105--120 (2013; Zbl 1464.68383) Full Text: arXiv Link OpenURL
Kötters, Jens 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). MSC: 68T30 06A15 08A70 68P15 PDF BibTeX XML Cite \textit{J. Kötters}, Lect. Notes Comput. Sci. 7735, 301--310 (2013; Zbl 1351.68277) Full Text: DOI OpenURL
Medina-Moreno, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge Concept-forming operators on multilattices. (English) Zbl 1396.06005 Cellier, Peggy (ed.) et al., Formal concept analysis. 11th international conference, ICFCA 2013, Dresden, Germany, May 21–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38316-8/pbk). Lecture Notes in Computer Science 7880. Lecture Notes in Artificial Intelligence, 203-215 (2013). MSC: 06B75 06A15 68T30 PDF BibTeX XML Cite \textit{J. Medina-Moreno} et al., Lect. Notes Comput. Sci. 7880, 203--215 (2013; Zbl 1396.06005) Full Text: DOI OpenURL
Mühle, Henri Proper mergings of stars and chains are counted by sums of antidiagonals in certain convolution arrays. (English) Zbl 1396.06001 Cellier, Peggy (ed.) et al., Formal concept analysis. 11th international conference, ICFCA 2013, Dresden, Germany, May 21–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38316-8/pbk). Lecture Notes in Computer Science 7880. Lecture Notes in Artificial Intelligence, 172-187 (2013). MSC: 06A07 05A15 06A06 06B23 06A15 PDF BibTeX XML Cite \textit{H. Mühle}, Lect. Notes Comput. Sci. 7880, 172--187 (2013; Zbl 1396.06001) Full Text: DOI arXiv OpenURL
Duquenne, Vincent Contextual implications between attributes and some representation properties for finite lattices. (English) Zbl 1264.06007 Cellier, Peggy (ed.) et al., Formal concept analysis. 11th international conference, ICFCA 2013, Dresden, Germany, May 21–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38316-8/pbk). Lecture Notes in Computer Science 7880. Lecture Notes in Artificial Intelligence, 1-27 (2013). MSC: 06B05 06A15 06B15 68T30 PDF BibTeX XML Cite \textit{V. Duquenne}, Lect. Notes Comput. Sci. 7880, 1--27 (2013; Zbl 1264.06007) Full Text: DOI OpenURL
Csajbók, Zoltán Ernő Approximation of sets based on partial covering. (English) Zbl 1377.68236 Peters, James F. (ed.) et al., Transactions on Rough Sets XVI. Berlin: Springer (ISBN 978-3-642-36504-1/pbk). Lecture Notes in Computer Science 7736. Journal Subline, 144-220 (2013). MSC: 68T37 03E72 06A15 68T30 PDF BibTeX XML Cite \textit{Z. E. Csajbók}, Lect. Notes Comput. Sci. 7736, 144--220 (2013; Zbl 1377.68236) Full Text: DOI Link OpenURL
Šostak, Alexander Towards the theory of approximate systems: variable range categories. (English) Zbl 1301.03044 Arhangel’skii, Alexander V. (ed.) et al., Proceedings of the international conference on topology and its applications (ICTA 2011), Islamabad, Pakistan, July 4–10, 2011. Cambridge: Cambridge Scientific Publishers (ISBN 978-1-908106-17-9/pbk). 265-284 (2012). Reviewer: Sergejs Solovjovs (Brno) MSC: 03E72 06A15 06F07 18B99 54A40 54B30 PDF BibTeX XML Cite \textit{A. Šostak}, in: Proceedings of the international conference on topology and its applications (ICTA 2011), Islamabad, Pakistan, July 4--10, 2011. Cambridge: Cambridge Scientific Publishers. 265--284 (2012; Zbl 1301.03044) OpenURL
Cīrulis, Jānis Symmetric closure operators on orthoposets. (English) Zbl 1284.06009 Czermak, J. (ed.) et al., Proceedings of the 81st workshop on general algebra “81. Arbeitstagung Allgemeine Algebra”, Salzburg, Austria, February 3–6, 2011. Klagenfurt: Verlag Johannes Heyn (ISBN 978-3-7084-0447-9/pbk). Contributions to General Algebra 20, 19-28 (2012). Reviewer: Helmut Länger (Wien) MSC: 06A15 06C15 PDF BibTeX XML Cite \textit{J. Cīrulis}, Contrib. Gen. Algebra 20, 19--28 (2012; Zbl 1284.06009) OpenURL
Libert, Thierry Hypercubes of duality. (English) Zbl 1272.03061 Béziau, Jean-Yves (ed.) et al., Around and beyond the square of opposition. Basel: Birkhäuser (ISBN 978-3-0348-0378-6/pbk; 978-3-0348-0379-3/ebook). Studies in Universal Logic, 293-301 (2012). MSC: 03B05 03B10 06A15 PDF BibTeX XML Cite \textit{T. Libert}, in: Around and beyond the square of opposition. Basel: Birkhäuser. 293--301 (2012; Zbl 1272.03061) Full Text: DOI OpenURL
Díaz, Juan Carlos; Medina, Jesús; Rodríguez, Rafael Solving general fuzzy relation equations using property-oriented concept lattices. (English) Zbl 1252.03115 Greco, Salvatore (ed.) et al., Advances in computational intelligence. 14th international conference on information processing and management of uncertainty in knowledge-based systems, IPMU 2012, Catania, Italy, July 9–13, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-31714-9/pbk; 978-3-642-31715-6/ebook). Communications in Computer and Information Science 298, 395-404 (2012). MSC: 03E72 06A15 06B99 68T30 PDF BibTeX XML Cite \textit{J. C. Díaz} et al., Commun. Comput. Inf. Sci. 298, 395--404 (2012; Zbl 1252.03115) Full Text: DOI OpenURL
Schmidt, Gunther Relational concepts in social choice. (English) Zbl 1364.91051 Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 278-293 (2012). MSC: 91B14 03G15 06A15 18B35 PDF BibTeX XML Cite \textit{G. Schmidt}, Lect. Notes Comput. Sci. 7560, 278--293 (2012; Zbl 1364.91051) Full Text: DOI OpenURL
Ismail, Sahar; Jaoua, Ali Incremental pseudo rectangular organization of information relative to a domain. (English) Zbl 1364.68336 Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 264-277 (2012). MSC: 68T30 06A15 68T05 PDF BibTeX XML Cite \textit{S. Ismail} and \textit{A. Jaoua}, Lect. Notes Comput. Sci. 7560, 264--277 (2012; Zbl 1364.68336) Full Text: DOI OpenURL
Armstrong, Alasdair; Struth, Georg Automated reasoning in higher-order regular algebra. (English) Zbl 1364.68326 Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 66-81 (2012). MSC: 68T15 06A15 06F07 68Q70 PDF BibTeX XML Cite \textit{A. Armstrong} and \textit{G. Struth}, Lect. Notes Comput. Sci. 7560, 66--81 (2012; Zbl 1364.68326) Full Text: DOI OpenURL
Rudolph, Sebastian Some notes on managing closure operators. (English) Zbl 1360.68821 Domenach, Florent (ed.) et al., Formal concept analysis. 10th international conference, ICFCA 2012, Leuven, Belgium, May 7–10, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29891-2/pbk). Lecture Notes in Computer Science 7278. Lecture Notes in Artificial Intelligence, 278-291 (2012). MSC: 68T30 06A15 68Q25 PDF BibTeX XML Cite \textit{S. Rudolph}, Lect. Notes Comput. Sci. 7278, 278--291 (2012; Zbl 1360.68821) Full Text: DOI OpenURL
Naidenova, Xenia A. Good classification tests as formal concepts. (English) Zbl 1360.68817 Domenach, Florent (ed.) et al., Formal concept analysis. 10th international conference, ICFCA 2012, Leuven, Belgium, May 7–10, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29891-2/pbk). Lecture Notes in Computer Science 7278. Lecture Notes in Artificial Intelligence, 211-226 (2012). MSC: 68T30 06A15 68T05 PDF BibTeX XML Cite \textit{X. A. Naidenova}, Lect. Notes Comput. Sci. 7278, 211--226 (2012; Zbl 1360.68817) Full Text: DOI OpenURL
Kerkhoff, Sebastian A connection between clone theory and FCA provided by duality theory. (English) Zbl 1360.08002 Domenach, Florent (ed.) et al., Formal concept analysis. 10th international conference, ICFCA 2012, Leuven, Belgium, May 7–10, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29891-2/pbk). Lecture Notes in Computer Science 7278. Lecture Notes in Artificial Intelligence, 148-163 (2012). MSC: 08A40 06D50 18C10 06A15 PDF BibTeX XML Cite \textit{S. Kerkhoff}, Lect. Notes Comput. Sci. 7278, 148--163 (2012; Zbl 1360.08002) Full Text: DOI Link OpenURL
Sergey, Ilya; Midtgaard, Jan; Clarke, Dave Calculating graph algorithms for dominance and shortest path. (English) Zbl 1358.68077 Gibbons, Jeremy (ed.) et al., Mathematics of program construction. 11th international conference, MPC 2012, Madrid, Spain, June 25–27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31112-3/pbk). Lecture Notes in Computer Science 7342, 132-156 (2012). MSC: 68N30 05C85 06A15 68R10 PDF BibTeX XML Cite \textit{I. Sergey} et al., Lect. Notes Comput. Sci. 7342, 132--156 (2012; Zbl 1358.68077) Full Text: DOI Link OpenURL
Csajbók, Zoltán Partial approximative set theory: a view from Galois connections. (English) Zbl 1245.68207 Egri-Nagy, Attila (ed.) et al., Proceedings of the 8th international conference on applied informatics (ICAI 2010), Eger, Hungary, January 27–30, 2010. 2 Volumes. Eger: BVB Nyomda és Kiadó Kft. (ISBN 978-963-9894-72-3/pbk). 53-60 (2012). MSC: 68T37 03E72 06A15 PDF BibTeX XML Cite \textit{Z. Csajbók}, in: Proceedings of the 8th international conference on applied informatics (ICAI 2010), Eger, Hungary, January 27--30, 2010. 2 Volumes. Eger: BVB Nyomda és Kiadó Kft.. 53--60 (2012; Zbl 1245.68207) OpenURL
Cohen, David A.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav An algebraic theory of complexity for valued constraints: establishing a Galois connection. (English) Zbl 1343.68106 Murlak, Filip (ed.) et al., Mathematical foundations of computer science 2011. 36th international symposium, MFCS 2011, Warsaw, Poland, August 22–26, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22992-3/pbk). Lecture Notes in Computer Science 6907, 231-242 (2011). MSC: 68Q25 06A15 90C60 PDF BibTeX XML Cite \textit{D. A. Cohen} et al., Lect. Notes Comput. Sci. 6907, 231--242 (2011; Zbl 1343.68106) Full Text: DOI OpenURL
Mu, Shin-Cheng; Oliveira, José Nuno Programming from Galois connections. (English) Zbl 1329.68079 de Swart, Harrie (ed.), Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21069-3/pbk). Lecture Notes in Computer Science 6663, 294-313 (2011). MSC: 68N30 06A15 68Q65 PDF BibTeX XML Cite \textit{S.-C. Mu} and \textit{J. N. Oliveira}, Lect. Notes Comput. Sci. 6663, 294--313 (2011; Zbl 1329.68079) Full Text: DOI Link OpenURL
Soldano, Henry; Ventos, Véronique Abstract concept lattices. (English) Zbl 1326.68289 Valtchev, Petko (ed.) et al., Formal concept analysis. 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2–6, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20513-2/pbk). Lecture Notes in Computer Science 6628. Lecture Notes in Artificial Intelligence, 235-250 (2011). MSC: 68T30 03B45 06A15 06B23 PDF BibTeX XML Cite \textit{H. Soldano} and \textit{V. Ventos}, Lect. Notes Comput. Sci. 6628, 235--250 (2011; Zbl 1326.68289) Full Text: DOI Link OpenURL
Horn, Alexander Dynamic epistemic algebra with post-conditions to reason about robot navigation. (English) Zbl 1326.68276 Beklemishev, Lev D. (ed.) et al., Logic, language, information and computation. 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18–20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20919-2/pbk). Lecture Notes in Computer Science 6642. Lecture Notes in Artificial Intelligence, 161-175 (2011). MSC: 68T27 03B42 03G25 06A15 06F07 68T40 PDF BibTeX XML Cite \textit{A. Horn}, Lect. Notes Comput. Sci. 6642, 161--175 (2011; Zbl 1326.68276) Full Text: DOI OpenURL
Perfilieva, Irina Semilinear space, Galois connections and fuzzy relation equations. (English) Zbl 1253.03083 Cao, Bing-Yuan (ed.) et al., Quantitative logic and soft computing 2010. Vol. 2. Proceedings of the 2nd international conference (QL & SC 2010), Xiamen, China, October 22–25, 2010. Berlin: Springer (ISBN 978-3-642-15659-5/pbk; 978-3-642-15660-1/ebook). Advances in Intelligent and Soft Computing 82, 71-79 (2010). MSC: 03E72 03G25 06A15 PDF BibTeX XML Cite \textit{I. Perfilieva}, Adv. Intell. Soft Comput. 82, 71--79 (2010; Zbl 1253.03083) Full Text: DOI OpenURL
Behrisch, Mike; Vargas, Edith Mireya \(C\)-clones and \(C\)-automorphism groups. (English) Zbl 1229.08002 Chajda, I. (ed.) et al., Proceedings of the 79th workshop on general algebra “79. Arbeitstagung Allgemeine Algebra”, 25th conference of young algebraists, Palacký University Olomouc, Olomouc, Czech Republic, February 12–14, 2010. Klagenfurt: Verlag Johannes Heyn (ISBN 978-3-7084-0407-3/pbk). Contributions to General Algebra 19, 1-12 (2010). Reviewer: Ivan Chajda (Přerov) MSC: 08A40 08A02 08A35 06A15 PDF BibTeX XML Cite \textit{M. Behrisch} and \textit{E. M. Vargas}, Contrib. Gen. Algebra 19, 1--12 (2010; Zbl 1229.08002) OpenURL
Gunji, Yukio-Pegio; Haruna, Taichi A non-Boolean lattice derived by double indiscernibility. (English) Zbl 1287.06004 Peters, James F. (ed.) et al., Transactions on Rough Sets XII. Berlin: Springer (ISBN 978-3-642-14466-0/pbk). Lecture Notes in Computer Science 6190. Journal Subline, 211-225 (2010). MSC: 06A15 06B99 68T30 PDF BibTeX XML Cite \textit{Y.-P. Gunji} and \textit{T. Haruna}, Lect. Notes Comput. Sci. 6190, 211--225 (2010; Zbl 1287.06004) Full Text: DOI Link OpenURL
Alvarado García, Alejandro; Rincón Mejía, Hugo Alberto; Ríos Montes, José 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 \textit{A. Alvarado García} et al., in: Advances in ring theory. Papers of the conference on algebra and applications, Athens, OH, USA, June 18--21, 2008. Basel: Birkhäuser. 19--36 (2010; Zbl 1211.16005) OpenURL
Ganter, Bernhard 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 \textit{B. Ganter}, Lect. Notes Comput. Sci. 5986, 312--340 (2010; Zbl 1274.68484) Full Text: DOI OpenURL
Babin, Mikhail A.; Kuznetsov, Sergei O. 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 \textit{M. A. Babin} and \textit{S. O. Kuznetsov}, Lect. Notes Comput. Sci. 5986, 138--144 (2010; Zbl 1274.06021) Full Text: DOI OpenURL
Colomb, Pierre; Irlande, Alexis; Raynaud, Olivier 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 \textit{P. Colomb} et al., Lect. Notes Comput. Sci. 5986, 72--87 (2010; Zbl 1274.05013) Full Text: DOI OpenURL
Yang, Lingyun; Xu, Luoshan 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). MSC: 68T30 06A15 06B15 06B23 06D72 PDF BibTeX XML Cite \textit{L. Yang} and \textit{L. Xu}, Electron. Notes Theor. Comput. Sci. 257, 117--133 (2009; Zbl 1342.68314) Full Text: DOI OpenURL
Zhang, Guo-Qiang Closures in binary partial algebras. (English) Zbl 1344.08002 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, 3-18 (2009). MSC: 08A55 06A15 68T30 PDF BibTeX XML Cite \textit{G.-Q. Zhang}, Electron. Notes Theor. Comput. Sci. 257, 3--18 (2009; Zbl 1344.08002) Full Text: DOI OpenURL
Schmidt, David A. 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 \textit{D. A. Schmidt}, Electron. Notes Theor. Comput. Sci. 249, 19--37 (2009; Zbl 1337.68162) Full Text: DOI OpenURL
Jaoua, Ali; Duwairi, Rehab; Elloumi, Samir; Yahia, Sadok Ben 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). MSC: 68T30 03G15 06A15 68P20 PDF BibTeX XML Cite \textit{A. Jaoua} et al., Lect. Notes Comput. Sci. 5827, 199--210 (2009; Zbl 1267.68226) Full Text: DOI OpenURL
Berghammer, Rudolf; Braßel, Bernd 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). MSC: 68W30 03G15 06A15 06B23 PDF BibTeX XML Cite \textit{R. Berghammer} and \textit{B. Braßel}, Lect. Notes Comput. Sci. 5743, 29--44 (2009; Zbl 1260.68477) Full Text: DOI OpenURL
Janicki, Ryszard; Lê, Dai Tri Man; Zubkova, Nadezhda 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 \textit{R. Janicki} et al., Lect. Notes Comput. Sci. 5699, 217--229 (2009; Zbl 1252.06002) Full Text: DOI Link OpenURL
Wolski, Marcin Rough set theory: ontological systems, entailment relations and approximation operators. (English) Zbl 1248.68484 Peters, James F. (ed.) et al., Transactions on Rough Sets X. Berlin: Springer (ISBN 978-3-642-03280-6/pbk). Lecture Notes in Computer Science 5656. Journal Subline, 1-14 (2009). MSC: 68T30 03E72 06A15 68T37 PDF BibTeX XML Cite \textit{M. Wolski}, Lect. Notes Comput. Sci. 5656, 1--14 (2009; Zbl 1248.68484) Full Text: DOI OpenURL
Erné, Marcel Closure. (English) Zbl 1192.54001 Mynard, Frédéric (ed.) et al., Beyond topology. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4279-9/pbk). Contemporary Mathematics 486, 163-238 (2009). Reviewer: Miroslav Hušek (Praha) MSC: 54A05 06A15 PDF BibTeX XML Cite \textit{M. Erné}, Contemp. Math. 486, 163--238 (2009; Zbl 1192.54001) OpenURL
Wille, Rudolf 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). MSC: 06B05 06A15 06B15 06B23 PDF BibTeX XML Cite \textit{R. Wille}, Lect. Notes Comput. Sci. 5548, 314--339 (2009; Zbl 1247.06004) Full Text: DOI OpenURL
Sun, Meng 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 \textit{M. Sun}, Electron. Notes Theor. Comput. Sci. 207, 203--217 (2008; Zbl 1279.68061) Full Text: DOI OpenURL
Duchet, Pierre 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). Reviewer: Christian Elsholtz (Surrey) MSC: 05D15 05C70 05C65 51D99 06A15 52A01 PDF BibTeX XML Cite \textit{P. Duchet}, Ramanujan Math. Soc. Lect. Notes Ser. 5, 57--71 (2008; Zbl 1169.05048) OpenURL
Schnoor, Henning; Schnoor, Ilka 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). MSC: 68Q25 06A15 08A40 08A70 PDF BibTeX XML Cite \textit{H. Schnoor} and \textit{I. Schnoor}, Lect. Notes Comput. Sci. 5250, 229--254 (2008; Zbl 1171.68502) Full Text: DOI OpenURL
Börner, Ferdinand Basics of Galois connections. (English) Zbl 1171.06301 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, 38-67 (2008). MSC: 06A15 PDF BibTeX XML Cite \textit{F. Börner}, Lect. Notes Comput. Sci. 5250, 38--67 (2008; Zbl 1171.06301) Full Text: DOI OpenURL
Creignou, Nadia; Schnoor, Henning; Schnoor, Ilka 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 \textit{N. Creignou} et al., Lect. Notes Comput. Sci. 5213, 109--123 (2008; Zbl 1156.68399) Full Text: DOI OpenURL
Wille, Rudolf 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 \textit{R. Wille}, Contrib. Gen. Algebra 18, 211--225 (2008; Zbl 1221.00004) OpenURL
Semenova, Marina 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). Reviewer: Florentina Chirteş (Craiova) MSC: 06B23 06A15 06B15 PDF BibTeX XML Cite \textit{M. Semenova}, Contrib. Gen. Algebra 18, 175--188 (2008; Zbl 1148.06003) OpenURL
Kaiser, Tim B. 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 \textit{T. B. Kaiser}, Lect. Notes Comput. Sci. 4923, 96--106 (2008; Zbl 1134.68054) Full Text: DOI OpenURL
Schmidt, David A. 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). MSC: 68N30 03B44 03B70 06A15 PDF BibTeX XML Cite \textit{D. A. Schmidt}, Electron. Notes Theor. Comput. Sci. 173, 339--356 (2007; Zbl 1316.68042) Full Text: DOI OpenURL
Mori, Hideo 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). MSC: 68T30 06A15 06B23 18B99 PDF BibTeX XML Cite \textit{H. Mori}, Lect. Notes Comput. Sci. 4604, 505--508 (2007; Zbl 1213.68606) Full Text: DOI OpenURL
Balcázar, José L.; Garriga, Gemma C. 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 \textit{J. L. Balcázar} and \textit{G. C. Garriga}, Lect. Notes Comput. Sci. 4604, 492--495 (2007; Zbl 1213.68597) Full Text: DOI OpenURL
Järvinen, Jouni Lattice theory for rough sets. (English) Zbl 1186.03069 Peters, James F. (ed.) et al., Transactions on Rough Sets VI. Commemorating life and work of Zdisław Pawlak, Part I. Berlin: Springer (ISBN 978-3-540-71198-8/pbk). Lecture Notes in Computer Science 4374. Journal Subline, 400-498 (2007). MSC: 03E72 06A06 06A15 06B05 68T30 PDF BibTeX XML Cite \textit{J. Järvinen}, Lect. Notes Comput. Sci. 4374, 400--498 (2007; Zbl 1186.03069) Full Text: DOI OpenURL
Valverde-Albacete, Francisco J.; Peláez-Moreno, Carmen Galois connections between semimodules and applications in data mining. (English) Zbl 1132.68063 Kuznetsov, Sergei O. (ed.) et al., Formal concept analysis. 5th international conference, ICFCA 2007, Clermont-Ferrand, France, February 12–16, 2007. Proceedings. (ISBN 978-3-540-70828-5/pbk). Lecture Notes in Computer Science 4390. Lecture Notes in Artificial Intelligence, 181-196 (2007). MSC: 68T30 06A15 06B05 16Y60 68T05 PDF BibTeX XML Cite \textit{F. J. Valverde-Albacete} and \textit{C. Peláez-Moreno}, Lect. Notes Comput. Sci. 4390, 181--196 (2007; Zbl 1132.68063) Full Text: DOI Link OpenURL
Medina, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge On multi-adjoint concept lattices: definition and representation theorem. (English) Zbl 1187.68588 Kuznetsov, Sergei O. (ed.) et al., Formal concept analysis. 5th international conference, ICFCA 2007, Clermont-Ferrand, France, February 12–16, 2007. Proceedings. (ISBN 978-3-540-70828-5/pbk). Lecture Notes in Computer Science 4390. Lecture Notes in Artificial Intelligence, 197-209 (2007). MSC: 68T30 06A15 06B99 PDF BibTeX XML Cite \textit{J. Medina} et al., Lect. Notes Comput. Sci. 4390, 197--209 (2007; Zbl 1187.68588) Full Text: DOI OpenURL
Ganter, Bernhard Relational Galois connections. (English) Zbl 1187.06002 Kuznetsov, Sergei O. (ed.) et al., Formal concept analysis. 5th international conference, ICFCA 2007, Clermont-Ferrand, France, February 12–16, 2007. Proceedings. (ISBN 978-3-540-70828-5/pbk). Lecture Notes in Computer Science 4390. Lecture Notes in Artificial Intelligence, 1-17 (2007). MSC: 06A15 PDF BibTeX XML Cite \textit{B. Ganter}, Lect. Notes Comput. Sci. 4390, 1--17 (2007; Zbl 1187.06002) Full Text: DOI OpenURL
Ganter, Bernhard; Reppe, Heiko Base points, non-unit implications, and convex geometries. (English) Zbl 1187.68582 Kuznetsov, Sergei O. (ed.) et al., Formal concept analysis. 5th international conference, ICFCA 2007, Clermont-Ferrand, France, February 12–16, 2007. Proceedings. (ISBN 978-3-540-70828-5/pbk). Lecture Notes in Computer Science 4390. Lecture Notes in Artificial Intelligence, 210-220 (2007). MSC: 68T30 06A15 06B23 52A37 PDF BibTeX XML Cite \textit{B. Ganter} and \textit{H. Reppe}, Lect. Notes Comput. Sci. 4390, 210--220 (2007; Zbl 1187.68582) Full Text: DOI OpenURL
Litak, Tadeusz Isomorphism via translation. (English) Zbl 1144.03015 Governatori, Guido (ed.) et al., Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. London: College Publications (ISBN 1-904987-20-6/pbk). 333-351 (2006). MSC: 03B45 03G25 06A15 PDF BibTeX XML Cite \textit{T. Litak}, in: Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25--28, 2006. London: College Publications. 333--351 (2006; Zbl 1144.03015) OpenURL
Gély, Alain; Nourine, Lhouari About the family of closure systems preserving non-unit implications in the Guigues-Duquenne base. (English) Zbl 1177.68207 Missaoui, Rokia (ed.) et al., Formal concept analysis. 4th international conference, ICFCA 2006, Dresden, Germany, February 13–17, 2006. Proceedings. Berlin: Springer (ISBN 3-540-32203-5/pbk). Lecture Notes in Computer Science 3874. Lecture Notes in Artificial Intelligence, 191-204 (2006). MSC: 68T30 06A15 68P20 PDF BibTeX XML Cite \textit{A. Gély} and \textit{L. Nourine}, Lect. Notes Comput. Sci. 3874, 191--204 (2006; Zbl 1177.68207) Full Text: DOI OpenURL
Krötzsch, Markus; Malik, Grit The tensor product as a lattice of regular Galois connections. (English) Zbl 1177.06008 Missaoui, Rokia (ed.) et al., Formal concept analysis. 4th international conference, ICFCA 2006, Dresden, Germany, February 13–17, 2006. Proceedings. Berlin: Springer (ISBN 3-540-32203-5/pbk). Lecture Notes in Computer Science 3874. Lecture Notes in Artificial Intelligence, 89-104 (2006). MSC: 06B23 06A15 68T30 PDF BibTeX XML Cite \textit{M. Krötzsch} and \textit{G. Malik}, Lect. Notes Comput. Sci. 3874, 89--104 (2006; Zbl 1177.06008) Full Text: DOI OpenURL
Šlapal, Josef Thin relations and associated closure operators. (English) Zbl 1106.54002 Dorfer, G. (ed.) et al., Proceedings of the 70th workshop on general algebra “70. Arbeitstagung Allgemeine Algebra”, Vienna, Austria, May 26–29, 2005. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0194-8/pbk). Contributions to General Algebra 17, 161-172 (2006). Reviewer: Richard G. Wilson (México) MSC: 54A05 06A15 08A02 PDF BibTeX XML Cite \textit{J. Šlapal}, Contrib. Gen. Algebra 17, 161--172 (2006; Zbl 1106.54002) OpenURL
Jeannet, B.; Gopan, D.; Reps, T. A relational abstraction for functions. (English) Zbl 1141.68371 Hankin, Chris (ed.) et al., Static analysis. 12th international symposium, SAS 2005, London, UK, September 7–9, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28584-9/pbk). Lecture Notes in Computer Science 3672, 186-202 (2005). MSC: 68N30 06A15 PDF BibTeX XML Cite \textit{B. Jeannet} et al., Lect. Notes Comput. Sci. 3672, 186--202 (2005; Zbl 1141.68371) Full Text: DOI OpenURL
Kuznetsov, Sergei O. Galois connections in data analysis: Contributions from the Soviet era and modern Russian research. (English) Zbl 1152.68628 Ganter, Bernhard (ed.) et al., Formal concept analysis. Foundations and applications. Berlin: Springer (ISBN 3-540-27891-5/pbk). Lecture Notes in Computer Science 3626. Lecture Notes in Artificial Intelligence, 196-225 (2005). MSC: 68T30 06A15 PDF BibTeX XML Cite \textit{S. O. Kuznetsov}, Lect. Notes Comput. Sci. 3626, 196--225 (2005; Zbl 1152.68628) OpenURL
Ferré, Sébastien; Ridoux, Olivier; Sigonneau, Benjamin Arbitrary relations in formal concept analysis and logical information systems. (English) Zbl 1132.68750 Dau, Frithjof (ed.) et al., Conceptual structures: Common semantics for sharing knowledge. 13th international conference on conceptual structures, ICCS 2005, Kassel, Germany, July 17–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27783-8/pbk). Lecture Notes in Computer Science 3596. Lecture Notes in Artificial Intelligence, 166-180 (2005). MSC: 68T30 03B70 06A15 68U35 PDF BibTeX XML Cite \textit{S. Ferré} et al., Lect. Notes Comput. Sci. 3596, 166--180 (2005; Zbl 1132.68750) OpenURL
Bošnački, Dragan On some Galois connection based abstractions for the mu-calculus. (English) Zbl 1120.68408 Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 366-381 (2005). MSC: 68Q60 03B70 06A15 68Q42 PDF BibTeX XML Cite \textit{D. Bošnački}, Lect. Notes Comput. Sci. 3582, 366--381 (2005; Zbl 1120.68408) Full Text: DOI OpenURL
Ganter, Bernhard; Kwuida, Léonard Which concept lattices are pseudocomplemented? (English) Zbl 1078.06006 Ganter, Bernhard (ed.) et al., Formal concept analysis. Third international conference, ICFCA 2005, Lens, France, February 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24525-1/pbk). Lecture Notes in Computer Science 3403. Lecture Notes in Artificial Intelligence, 408-416 (2005). MSC: 06D15 06A15 68T30 PDF BibTeX XML Cite \textit{B. Ganter} and \textit{L. Kwuida}, Lect. Notes Comput. Sci. 3403, 408--416 (2005; Zbl 1078.06006) Full Text: DOI OpenURL
Bělohlávek, Radim; Sklenář, Vladimír; Zacpal, Jiří Crisply generated fuzzy concepts. (English) Zbl 1078.68142 Ganter, Bernhard (ed.) et al., Formal concept analysis. Third international conference, ICFCA 2005, Lens, France, February 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24525-1/pbk). Lecture Notes in Computer Science 3403. Lecture Notes in Artificial Intelligence, 269-284 (2005). MSC: 68T30 06A15 PDF BibTeX XML Cite \textit{R. Bělohlávek} et al., Lect. Notes Comput. Sci. 3403, 269--284 (2005; Zbl 1078.68142) Full Text: DOI OpenURL
Gély, A.; Medina, R.; Nourine, L.; Renaud, Y. Uncovering and reducing hidden combinatorics in Guigues-Duquenne bases. (English) Zbl 1078.68144 Ganter, Bernhard (ed.) et al., Formal concept analysis. Third international conference, ICFCA 2005, Lens, France, February 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24525-1/pbk). Lecture Notes in Computer Science 3403. Lecture Notes in Artificial Intelligence, 235-248 (2005). MSC: 68T30 06A15 68P15 PDF BibTeX XML Cite \textit{A. Gély} et al., Lect. Notes Comput. Sci. 3403, 235--248 (2005; Zbl 1078.68144) Full Text: DOI OpenURL
Gély, Alain A generic algorithm for generating closed sets of a binary relation. (English) Zbl 1078.68773 Ganter, Bernhard (ed.) et al., Formal concept analysis. Third international conference, ICFCA 2005, Lens, France, February 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24525-1/pbk). Lecture Notes in Computer Science 3403. Lecture Notes in Artificial Intelligence, 223-234 (2005). MSC: 68T30 06A15 06B99 PDF BibTeX XML Cite \textit{A. Gély}, Lect. Notes Comput. Sci. 3403, 223--234 (2005; Zbl 1078.68773) Full Text: DOI OpenURL
Nehmé, Kamal; Valtchev, Petko; Rouane, Mohamed H.; Godin, Robert On computing the minimal generator family for concept lattices and icebergs. (English) Zbl 1078.68776 Ganter, Bernhard (ed.) et al., Formal concept analysis. Third international conference, ICFCA 2005, Lens, France, February 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24525-1/pbk). Lecture Notes in Computer Science 3403. Lecture Notes in Artificial Intelligence, 192-207 (2005). MSC: 68T30 06A15 06B99 PDF BibTeX XML Cite \textit{K. Nehmé} et al., Lect. Notes Comput. Sci. 3403, 192--207 (2005; Zbl 1078.68776) Full Text: DOI OpenURL