×

Found 76 Documents (Results 1–76)

A duality theoretic view on limits of finite structures. (English) Zbl 07250944

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 299-318 (2020).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite
Full Text: DOI HAL

Loader and Urzyczyn are logically related. (English) Zbl 1367.03032

Czumaj, Artur (ed.) et al., Automata, languages, and programming. 39th international colloquium, ICALP 2012, Coventry, UK, July 9–13, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-31584-8/pbk). Lecture Notes in Computer Science 7392, 364-376 (2012).
MSC:  03B40
PDFBibTeX XMLCite
Full Text: DOI HAL

Duality and recognition. (English) Zbl 1343.68158

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, 3-18 (2011).
MSC:  68Q70 06E15 20M35
PDFBibTeX XMLCite
Full Text: DOI

A view of canonical extension. (English) Zbl 1341.03095

Bezhanishvili, Nick (ed.) et al., Logic, language, and computation. 8th international Tbilisi symposium on logic, language, and computation, TbiLLC 2009, Bakuriani, Georgia, September 21–25, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-22302-0/pbk). Lecture Notes in Computer Science 6618. Lecture Notes in Artificial Intelligence, 77-100 (2011).
MSC:  03G25 06B35 06D50
PDFBibTeX XMLCite
Full Text: DOI arXiv

A topological approach to recognition. (English) Zbl 1288.68176

Abramsky, Samson (ed.) et al., Automata, languages and programming. 37th international colloquium, ICALP 2010, Bordeaux, France, July 6–10, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-14161-4/pbk). Lecture Notes in Computer Science 6199, 151-162 (2010).
PDFBibTeX XMLCite
Full Text: DOI HAL

Distributive lattice-structured ontologies. (English) Zbl 1239.68029

Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 267-283 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Free Heyting algebras: revisited. (English) Zbl 1238.06007

Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 251-266 (2009).
MSC:  06D20 03G25 06D50
PDFBibTeX XMLCite
Full Text: DOI

Stone duality and the recognisable languages over an algebra. (English) Zbl 1239.68047

Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 236-250 (2009).
MSC:  68Q70 06D50
PDFBibTeX XMLCite
Full Text: DOI

Duality and equational theory of regular languages. (English) Zbl 1165.68049

Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 246-257 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Varieties of algebras in fuzzy set theory. (English) Zbl 1078.08003

Klement, Erich Peter (ed.) et al., Logical, algebraic, analytic and probabilistic aspects of triangular norms. Selected papers from the 24th Linz seminar on fuzzy set theory, Linz, Austria, February 4–8, 2003. Amsterdam: Elsevier (ISBN 0-444-51814-2/hbk). 321-344 (2005).
MSC:  08A72 03E72 08B05
PDFBibTeX XMLCite

Fuzzy logics arising from strict De Morgan systems. (English) Zbl 1055.03015

Rodabaugh, Stephen Ernest (ed.) et al., Topological and algebraic structures in fuzzy sets. A handbook of recent developments in the mathematics of fuzzy sets. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1515-1/hbk). Trends Log. Stud. Log. Libr. 20, 257-276 (2003).
MSC:  03B52
PDFBibTeX XMLCite

Uniquely representable posets. (English) Zbl 0913.06002

Andima, Susan (ed.) et al., Papers on general topology and applications. Papers from the 8th summer conference at Queens College, New York, NY, USA, June 18–20, 1992. New York, NY: The New York Academy of Sciences. Ann. N. Y. Acad. Sci. 728, 32-40 (1994).
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Year of Publication

all top 3

Main Field