×

Found 45 Documents (Results 1–45)

100
MathJax

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).
PDF BibTeX XML Cite

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).
MSC:  06A15 06C15
PDF BibTeX XML Cite

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
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI Link

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).
PDF BibTeX XML Cite
Full Text: DOI Link

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

Filter Results by …

Document Type

Reviewing State

all top 3

Classification