Duality in Computer Science

DOI10.1145/2933575.2934575zbMath1392.68268OpenAlexW2530099022MaRDI QIDQ4635858

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

modal logicStone dualitydenotational semanticslogic on wordsalgebraic theory of formal languages

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

This page was built for publication: Duality in Computer Science