×

Found 487 Documents (Results 1–100)

100
MathJax

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 07196837

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

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

From ultrafilters on words to the expressive power of a fragment of logic. (English) Zbl 1332.68148

Jürgensen, Helmut (ed.) et al., Descriptional complexity of formal systems. 16th international workshop, DCFS 2014, Turku, Finland, August 5–8, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-09703-9/pbk). Lecture Notes in Computer Science 8614, 138-149 (2014).
PDF BibTeX XML Cite
Full Text: DOI HAL

Duality in logic and computation (invited paper). (English) Zbl 1433.06005

Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society. 4-11 (2013).
MSC:  06E15 03B70 18A99
PDF BibTeX XML Cite
Full Text: DOI

Categorical duality theory: with applications to domains, convexity, and the distribution monad. (English) Zbl 1356.06010

Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 500-520 (2013).
PDF BibTeX XML Cite
Full Text: DOI

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

Classification

Software