S. Czarnetzki


AuthID: R-00H-H6Y

Publications Awaiting Confirmation

1
TITLE: Stone duality and the substitution principle
AUTHORS: Borlido, C ; Czarnetzki, S; Gehrke, M; Krebs, A;
PUBLISHED: 2017, SOURCE: 26th Annual EACSL Conference on Computer Science Logic, CSL 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 82
INDEXED IN: Scopus

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service