Publications

Stone Duality and the Substitution Principle

AuthID
P-00N-MEP

Author(s)

Borlido, C

Czarnetzki, S

Gehrke, M

Krebs, A

Editor(s)

Goranko V.Dam M.

Document Type

Proceedings Paper

Year published

2017

Published

in Leibniz International Proceedings in Informatics, LIPIcs, ISSN: 1868-8969

Volume: 82

Conference

26Th Annual Eacsl Conference on Computer Science Logic, Csl 2017, Date: 20 August 2017 through 24 August 2017, Sponsors: Department of Theoretical;Departments of Mathematics and Philosophy;et al.;KTH Royal Institute of Technology;School of Computer Science and Communication;Stockholm University

Indexing