受强制性开放获取政策约束的文章 - mai gehrke了解详情
无法在其他位置公开访问的文章：1 篇
Stone duality for languages and complexity
M Gehrke, A Krebs
ACM SIGLOG News 4 (2), 29-53, 2017
强制性开放获取政策： German Research Foundation, European Commission
可在其他位置公开访问的文章：15 篇
Stone duality, topological algebra, and recognition
M Gehrke
Journal of Pure and Applied Algebra 220 (7), 2711-2747, 2016
强制性开放获取政策： European Commission
Δ1-completions of a poset
M Gehrke, R Jansana, A Palmigiano
Order 30 (1), 39-64, 2013
强制性开放获取政策： Government of Spain
Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
M Gehrke, SJ van Gool, V Marra
Journal of Algebra 417, 290-332, 2014
强制性开放获取政策： Government of Italy
Quantifiers on languages and codensity monads
M Gehrke, D Petrişan, L Reggio
Mathematical Structures in Computer Science 30 (10), 1054-1088, 2020
强制性开放获取政策： European Commission
Uniform Birkhoff
M Gehrke, M Pinsker
Journal of Pure and Applied Algebra 222 (5), 1242-1250, 2018
强制性开放获取政策： Austrian Science Fund, European Commission
Sheaves and duality
M Gehrke, SJ Gool
Journal of Pure and Applied Algebra 222 (8), 2164-2180, 2018
强制性开放获取政策： European Commission
Stone duality and the substitution principle
C Borlido, S Czarnetzki, M Gehrke, A Krebs
26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017
强制性开放获取政策： German Research Foundation, European Commission
Duality in computer science
M Gehrke
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
强制性开放获取政策： European Commission
Canonical extensions: an algebraic approach to Stone duality
M Gehrke
Algebra universalis 79 (3), 2018
强制性开放获取政策： European Commission
Difference hierarchies and duality with an application to formal languages
C Borlido, M Gehrke, A Krebs, H Straubing
Topology and its Applications 273, 106975, 2020
强制性开放获取政策： Fundação para a Ciência e a Tecnologia, Portugal, European Commission
A Cook’s tour of duality in logic: from quantifiers, through Vietoris, to measures
M Gehrke, T Jakl, L Reggio
Samson Abramsky on Logic and Structure in Computer Science and Beyond, 129-158, 2023
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission
Substitution Principle and semidirect products
C Borlido, M Gehrke
Mathematical Structures in Computer Science 33 (6), 486-535, 2023
强制性开放获取政策： Fundação para a Ciência e a Tecnologia, Portugal, European Commission
Topological Duality and Algebraic Completions
M Gehrke
Hiroakira Ono on Substructural Logics, 143-184, 2021
强制性开放获取政策： European Commission
Stone duality for spectral sheaves and the patch monad
C Berger, M Gehrke
Journal of Pure and Applied Algebra 227 (6), 107306, 2023
强制性开放获取政策： European Commission
A duality theoretic view on limits of finite structures: Extended version
M Gehrke, T Jakl, L Reggio
Logical Methods in Computer Science 18, 2022
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission
出版信息和资助信息由计算机程序自动确定