2023
Article dans une revue
- titre
- Substitution Principle and semidirect products
- auteur
- Célia Borlido, Mai Gehrke
- article
- Mathematical Structures in Computer Science, 2023, 33 (6), pp.486-535. ⟨10.1017/S0960129523000294⟩
- Accès au texte intégral et bibtex
-
- titre
- Stone duality for spectral sheaves and the patch monad
- auteur
- Clemens Berger, Mai Gehrke
- article
- Journal of Pure and Applied Algebra, 2023, 227 (6), pp.107306. ⟨10.1016/j.jpaa.2022.107306⟩
- Accès au bibtex
-
- titre
- STONE DUALITY FOR SPECTRAL SHEAVES AND THE PATCH MONAD
- auteur
- Clemens Berger, Mai Gehrke
- article
- Journal of Pure and Applied Algebra, In press, 227 (6), pp.107306. ⟨10.1016/j.jpaa.2022.107306⟩
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
- auteur
- Mai Gehrke, Tomáš Jakl, Luca Reggio
- article
- Samson Abramsky on Logic and Structure in Computer Science and Beyond, A. Palmigiano and M. Sadrzadeh (eds.), Springer Series., 25, Springer International Publishing, pp.129-158, 2023, Outstanding Contribution to Logic,, ⟨10.1007/978-3-031-24117-8_4⟩
- Accès au texte intégral et bibtex
-
Ouvrages
- titre
- Topological duality for distributive lattices, and applications
- auteur
- Mai Gehrke, Samuel van Gool
- article
- Cambridge University Press, In press
- Accès au bibtex
-
2022
Article dans une revue
- titre
- A duality theoretic view on limits of finite structures: Extended version
- auteur
- Mai Gehrke, Tomáš Jakl, Luca Reggio
- article
- Logical Methods in Computer Science, 2022, Volume 18, Issue 1, ⟨10.46298/lmcs-18(1:16)2022⟩
- Accès au bibtex
-
Chapitre d'ouvrage
- titre
- Topological Duality and Algebraic Completions
- auteur
- Mai Gehrke
- article
- Hiroakira Ono on Substructural Logics, 23, Springer International Publishing, pp.143-184, 2022, Outstanding Contributions to Logic, ⟨10.1007/978-3-030-76920-8_4⟩
- Accès au bibtex
-
2021
Article dans une revue
- titre
- Priestley duality for MV-algebras and beyond
- auteur
- Wesley Fussner, Mai Gehrke, Samuel van Gool, Vincenzo Marra
- article
- Forum Mathematicum, 2021, 33 (4), pp.899-921. ⟨10.1515/forum-2020-0115⟩
- Accès au bibtex
-
Proceedings/Recueil des communications
- titre
- Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings
- auteur
- Luigi Santocanale, Uli Fahrenberg, Mai Gehrke, Michael Winter
- article
- U. Fahrenberg, M. Gehrke, L. Santocanale, and M. Winter. Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Nov 2021, Marseille, France. 13027, Springer, 2021, Lecture Notes in Computer Science
- Accès au bibtex
-
2020
Article dans une revue
- titre
- Quantifiers on languages and codensity monads
- auteur
- Mai Gehrke, Daniela Petrişan, Luca Reggio
- article
- Mathematical Structures in Computer Science, 2020, 30 (10), pp.1054-1088. ⟨10.1017/S0960129521000074⟩
- Accès au bibtex
-
- titre
- A DUALITY THEORETIC VIEW ON LIMITS OF FINITE STRUCTURES
- auteur
- Mai Gehrke, Tomáš Jakl, Luca Reggio
- article
- Logical Methods in Computer Science, 2020
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- A duality theoretic view on limits of finite structures
- auteur
- Mai Gehrke, Tomáš Jakl, Luca Reggio
- article
- Foundations of Software Science and Computation Structures. FoSSaCS 2020, Goubault-Larrecq J., König B., Apr 2020, Dublin, Ireland. pp.299-318, ⟨10.1007/978-3-030-45231-5_16⟩
- Accès au texte intégral et bibtex
-
2019
Article dans une revue
- titre
- Difference hierarchies and duality with an application to formal languages
- auteur
- Célia Borlido, Mai Gehrke, Andreas Krebs, Howard Straubing
- article
- Topology and its Applications, 2019
- Accès au texte intégral et bibtex
-
2018
Article dans une revue
- titre
- Canonical extensions: an algebraic approach to Stone duality
- auteur
- Mai Gehrke
- article
- Algebra Universalis, 2018, 79 (3), ⟨10.1007/s00012-018-0544-6⟩
- Accès au texte intégral et bibtex
-
- titre
- Uniform Birkhoff
- auteur
- Mai Gehrke, Michael Pinsker
- article
- Journal of Pure and Applied Algebra, 2018, 222 (5), pp.1242-1250. ⟨10.1016/j.jpaa.2017.06.016⟩
- Accès au texte intégral et bibtex
-
- titre
- Sheaves and duality
- auteur
- Mai Gehrke, Sam van Gool
- article
- Journal of Pure and Applied Algebra, 2018
- Accès au texte intégral et bibtex
-
2016
Article dans une revue
- titre
- STONE DUALITY, TOPOLOGICAL ALGEBRA, AND RECOGNITION
- auteur
- Mai Gehrke
- article
- Journal of Pure and Applied Algebra, 2016
- Accès au texte intégral et bibtex
-
- titre
- Ultrafilters on words for a fragment of logic
- auteur
- Mai Gehrke, Andreas Krebs, Jean-Eric Pin
- article
- Theoretical Computer Science, 2016, ⟨10.1016/j.tcs.2015.08.007⟩
- Accès au texte intégral et bibtex
-
2014
Article dans une revue
- titre
- DISTRIBUTIVE ENVELOPES AND TOPOLOGICAL DUALITY FOR LATTICES VIA CANONICAL EXTENSIONS
- auteur
- Mai Gehrke, Samuel van Gool
- article
- Order, 2014, 31 (3), pp.435-461. ⟨10.1007/s11083-013-9311-7⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- From Ultrafilters on Words to the Expressive Power of a Fragment of Logic
- auteur
- Mai Gehrke, Andreas Krebs, Jean-Eric Pin
- article
- Descriptional Complexity of Formal Systems 2014, Department of Mathematics and Statistics, University of Turku, Aug 2014, Turku, Finland. pp.138-149, ⟨10.1007/978-3-319-09704-6_13⟩
- Accès au texte intégral et bibtex
-
2012
Communication dans un congrès
- titre
- Loader and Urzyczyn Are Logically Related
- auteur
- Sylvain Salvati, Giulio Manzonetto, Mai Gehrke, Henk Barendregt
- article
- ICALP, 2012, Warwick, France. pp.364-376
- Accès au texte intégral et bibtex
-
2010
Communication dans un congrès
- titre
- A Topological Approach to Recognition
- auteur
- Mai Gehrke, Serge Grigorieff, Jean-Eric Pin
- article
- ICALP 2010, Jul 2010, Bordeaux, France. pp.151 - 162, ⟨10.1007/978-3-642-14162-1_13⟩
- Accès au texte intégral et bibtex
-
2008
Communication dans un congrès
- titre
- Duality and equational theory of regular languages
- auteur
- Mai Gehrke, Serge Grigorieff, Jean-Eric Pin
- article
- ICALP 2008, Jul 2008, Reykjavik, Iceland. pp.246-257
- Accès au texte intégral et bibtex
-