计算机科学不动点会议录
摘要
出版物: -
arXiv电子打印 发布日期: 2013年8月 内政部: -
10.448550/arXiv.1308.5896 arXiv: -
arXiv公司:1308.5896 书目代码: -
2013年8月12日1308.5896B 关键词: -
计算机科学——计算机科学中的逻辑; 计算机科学——形式语言与自动机理论; 计算机科学-程序设计语言; 图4.1
电子打印: EPTCS 1262013年