×

Found 511 Documents (Results 1–100)

The Fell compactification of a poset. (English) Zbl 1460.54006

Kreinovich, Vladik (ed.), Statistical and fuzzy approaches to data processing, with applications to econometrics and other areas. In honor of Hung T. Nguyen’s 75th birthday. Cham: Springer. Stud. Comput. Intell. 892, 31-46 (2021).
PDF BibTeX XML Cite
Full Text: DOI

A unified approach to structural limits and limits of graphs with bounded tree-depth. (English) Zbl 1491.03004

Memoirs of the American Mathematical Society 1272. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4065-7/pbk; 978-1-4704-5652-8/ebook). v, 108 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Heyting algebras. Duality theory. Translated from the Russian by A. Evseev. (English) Zbl 1436.06001

Trends in Logic – Studia Logica Library 50. Cham: Springer (ISBN 978-3-030-12095-5/hbk; 978-3-030-12098-6/pbk; 978-3-030-12096-2/ebook). xv, 95 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI

A generalisation of Stone duality to orthomodular lattices. (English) Zbl 1414.81038

Ozawa, Masanao (ed.) et al., Reality and measurement in algebraic quantum theory. NWW 2015, Nagoya, Japan, March 9–13, 2015. Selected papers based on presentations at the Nagoya winter workshop 2015: reality and measurement in algebraic quantum theory. Singapore: Springer. Springer Proc. Math. Stat. 261, 3-65 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Quantifiers on languages and codensity monads. (English) Zbl 1458.68124

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 80, 12 p. (2017).
PDF BibTeX XML Cite
Full Text: arXiv Link

Stone duality and the substitution principle. (English) Zbl 1434.06002

Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 13, 20 p. (2017).
MSC:  06E15 20M35 68Q70
PDF BibTeX XML Cite
Full Text: DOI

Pro-aperiodic monoids via saturated models. (English) Zbl 1402.68126

Vollmer, Heribert (ed.) et al., 34th symposium on theoretical aspects of computer science (STACS 2017), Hannover, Germany, March 8–11, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-028-6). LIPIcs – Leibniz International Proceedings in Informatics 66, Article 39, 14 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Duality in computer science. (English) Zbl 1392.68268

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 12-26 (2016).
PDF BibTeX XML Cite
Full Text: DOI

The Schützenberger product for syntactic spaces. (English) Zbl 1388.68193

Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 112, 14 p. (2016).
MSC:  68Q70 03D05 06E15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Precontact relations and quasi-modal operators in Boolean algebras. (English) Zbl 1375.06012

Platzeck, María Inés (ed.) et al., Actas del XIII congreso “Dr. Antonio A. R. Monteiro”. Bahía Blanca: Universidad Nacional del Sur, Instituto de Matemática. 63-79 (2016).
MSC:  06E25 06E15 06E10
PDF BibTeX XML Cite

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Software