一些自然结构在其while-programs中没有一个合理的、可判定的白垩般的逻辑
DSpace/Manakin存储库
一些自然结构在其while-programs中没有一个合理的、可判定的白垩般的逻辑
Bergstra，J.A。；
塔克，J.V。
（1982）《理论计算机科学：EATCS杂志》，第17卷，第3期，第303-315页
（文章）
下载/全文
通过乌得勒支大学知识库开放访问版本
国际标准编号：0304-3975
出版商：North-Holland Publishing Company
请参阅
更多统计信息
关于此项目
