S. Czarnetzki
AuthID: R-00H-H6Y
1
TÃTULO: Stone duality and the substitution principle
AUTORES: Borlido, C ; Czarnetzki, S; Gehrke, M; Krebs, A;
PUBLICAÇÃO: 2017, FONTE: 26th Annual EACSL Conference on Computer Science Logic, CSL 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 82
AUTORES: Borlido, C ; Czarnetzki, S; Gehrke, M; Krebs, A;
PUBLICAÇÃO: 2017, FONTE: 26th Annual EACSL Conference on Computer Science Logic, CSL 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 82
INDEXADO EM: 
Scopus
Scopus