Preface to special issue: ICTAC 2015.

Martin Leucker,Jorge A. Pérez,Camilo Rueda,Frank D. Valencia

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE（2019）

引用 0|浏览44

暂无评分

摘要

This issue of Mathematical Structures in Computer Science (MSCS) contains a selection of papers presented at the 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), which took place in Cali, Colombia, on October 29–31, 2015.

查看译文

关键词

ictac

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要