E-LIB Suche - Ergebnisse für: Gehrke, Mai

1

Topological duality for distributive lattices

theory and applications Cambridge tracts in theoretical computer science ; 61

Gehrke, Mai ; Gool, Sam van , 2024

Link: https://doi.org/10.1017/..

2

Substitution Principle and semidirect products:

Borlido, Célia ; Gehrke, Mai
Mathematical Structures in Computer Science. 33 (2023) 6 - p. 486-535 , 2023

Link: https://doi.org/10.1017/..

3

Stone duality for spectral sheaves and the patch monad:

Berger, Clemens ; Gehrke, Mai
Journal of Pure and Applied Algebra. 227 (2023) 6 - p. 107306 , 2023

Link: https://doi.org/10.1016/..

4

A Cook's Tour of Duality in Logic: From Quantifiers, Throug..:

, In: Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic,

Gehrke, Mai ; Jakl, Tomáš ; Reggio, Luca - p. 129-158 , 2023

Link: https://doi.org/10.1007/..

5

A duality theoretic view on limits of finite structures: Ex..:

Gehrke, Mai ; Jakl, Tomáš ; Reggio, Luca
Logical Methods in Computer Science. 18, Issue 1 (2022) - p. , 2022

Link: https://doi.org/10.46298..

6

Topological Duality and Algebraic Completions:

, In: Outstanding Contributions to Logic; Hiroakira Ono on Substructural Logics,

Gehrke, Mai - p. 143-184 , 2021

Link: https://doi.org/10.1007/..

7

Relational and Algebraic Methods in Computer Science: 19th ..

Theoretical Computer Science and General Issues, 13027

Fahrenberg, Uli ; Gehrke, Mai ; Santocanale, Luigi. - 1st ed. 2021 . , 2021

Link: https://doi.org/10.1007/..

8

Quantifiers on languages and codensity monads:

Gehrke, Mai ; Petrişan, Daniela ; Reggio, Luca
Mathematical Structures in Computer Science. 30 (2020) 10 - p. 1054-1088 , 2020

Link: https://doi.org/10.1017/..

9

Difference hierarchies and duality with an application to f..:

Borlido, Célia ; Gehrke, Mai ; Krebs, Andreas.
Topology and its Applications. 273 (2020) - p. 106975 , 2020

Link: https://doi.org/10.1016/..

10

A Duality Theoretic View on Limits of Finite Structures:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Gehrke, Mai ; Jakl, Tomáš ; Reggio, Luca - p. 299-318 , 2020

Link: https://doi.org/10.1007/..

11

Canonical extensions: an algebraic approach to Stone dualit:

Gehrke, Mai
Algebra universalis. 79 (2018) 3 - p. , 2018

Link: https://doi.org/10.1007/..

12

Sheaves and duality:

Gehrke, Mai ; v. Gool, Samuel J.
Journal of Pure and Applied Algebra. 222 (2018) 8 - p. 2164-2180 , 2018

Link: https://doi.org/10.1016/..

13

Uniform Birkhoff:

Gehrke, Mai ; Pinsker, Michael
Journal of Pure and Applied Algebra. 222 (2018) 5 - p. 1242-1250 , 2018

Link: https://doi.org/10.1016/..

14

Quantifiers on languages and codensity monads:

, In: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science,

Gehrke, Mai ; Petrişan, Daniela ; Reggio, Luca - p. 1-12 , 2017

Link: https://dl.acm.org/doi/1..

15

Stone duality for languages and complexity:

Gehrke, Mai ; Krebs, Andreas
ACM SIGLOG News. 4 (2017) 2 - p. 29-53 , 2017

Link: https://doi.org/10.1145/..