Duality in computer science

DOI10.1145/2933575.2934575MaRDI QIDQ4635858zbMATH OpenOpenAlexFDO

Authors Mai Gehrke

Publication date 23 April 2018

Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2933575.2934575

zbMATH Keywords

algebraic theory of formal languagesdenotational semanticslogic on wordsmodal logicStone duality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Lattices and duality (06D50) Stone spaces (Boolean spaces) and related structures (06E15) Semantics in the theory of computing (68Q55) Algebraic theory of languages and automata (68Q70)

Recommendations

• Duality in logic and computation (invited paper)
• Stone duality and the recognisable languages over an algebra
• Duality and the equational theory of regular languages.
• Regular languages and Stone duality
• Duality and recognition

Cited in

(7)

• Stone duality and the recognisable languages over an algebra
• scientific article; zbMATH DE number 7577568 (Why is no real title available?)
• Duality in logic and computation (invited paper)
• Monoidal extended stone duality
• Regular languages and Stone duality
• Extended Stone duality via monoidal adjunctions
• Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality

This page was built for publication: Duality in computer science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635858)