S. Czarnetzki


AuthID: R-00H-H6Y

Publications Requiring Validation

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

footer slogan

Useful Links

Get Help

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