×

找到21个文档(结果1–21)

不完全性定理、大基数和无限单词上的自动机。 (英语) Zbl 1440.03056号

Halldórsson,Magnüs M.(编辑)等人,《自动化、语言和编程》。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。9135, 222-233 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

方程理论中的统一问题。 (英语。俄文原件) Zbl 0919.68116号

赛博。系统。分析。 33,第6号,874-899(1997); 翻译自Kibern。修女。分析。1998年,第6期,第150-179页(1997年)。
MSC公司:68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段

软件