×

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

流代数的无限初始代数规范。 (英语) Zbl 1017.08003号

Sieg,Wilfried(编辑)等人,《数学基础的反思》。索罗门·费弗曼的散文。马萨诸塞州纳蒂克:A K Peters。莱克特。注释日志。15, 228-247 (2002).
PDF格式BibTeX公司 XML格式引用

流代数上的可计算函数。 (英语) Zbl 0831.08001号

Schwichtenberg,Helmut(编辑),《证明与计算》。1993年7月20日至8月1日在德国马克托伯多夫举行的北约ASI暑期学校会议记录。柏林:Springer-Verlag。北约ASI系列。,序列号。F、 计算。系统。科学。139, 397-437 (1995).
MSC公司:08A70号 2005年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用

多元逻辑及其应用。 (英语) Zbl 0781.03003号

威利专业计算。奇切斯特:John Wiley&Sons。第十七章,第397页(1993年)。
PDF格式BibTeX公司 XML格式引用

抽象结构上的可证明可计算选择函数。 (英语) Zbl 0805.03034号

Aczel,Peter(编辑)等人,证明理论。本文选自1990年7月24日至8月2日在英国利兹大学举行的利兹证明理论国际暑期学校和证明理论会议的论文。剑桥:剑桥大学出版社。277-306 (1992).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份