[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - One hierarchy spawns another

• 作者Chen, Hubie; Müller, Moritz
• 文件大小361.49KB
• 发表时间2014
• DOI10.1145/2603088.2603107
• 页码1-10