×

找到13个文档(结果1-13)

通过选择序列超越Church-Turing的可计算性。 (英语) Zbl 1452.03133号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。245-254 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

棒材感应。好的,坏的,丑陋的。 (英语) Zbl 1457.68298号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,2017年6月20日至23日,冰岛雷克雅未克雷克雅维克大学,LICS 2017。新泽西州皮斯卡塔韦:IEEE出版社。第14条,第12页(2017年)。
MSC公司:68伏15 03B35型
PDF格式BibTeX公司 XML格式引用
全文: 链接

多态逻辑。 (英语) 兹比尔1315.03043

Berger,Ulrich(编辑)等人,《逻辑、构造、计算》。献给赫尔穆特·施维希滕贝格70岁生日。法兰克福:Ontos Verlag;柏林:De Gruyter(ISBN 978-3-11-032453-2-hbk;978-3-86838-158-0/hbk;978-11-032492-1/电子书)。Ontos数学逻辑3,51-65(2012)。
MSC公司:03B70号 03B15号机组 03B35型 03B40型
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份