奥利维·芬克尔 不完全性定理、大基数和有限字上的自动机。 (英语) Zbl 1459.03056号 发现的国际期刊。计算。科学。 30,第3号,449-467(2019).MSC公司:05年3月 03E55型 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel},国际期刊发现。计算。科学。30,第3449-467号(2019年;兹bl 1459.03056) 全文: DOI程序
奥利维·芬克尔;奥利维尔·卡尔顿;多米尼克·勒科姆 与字或树自动机相关的一些拓扑的抛光性。 (英语) Zbl 1454.03061号 日志。方法计算。科学。 15,第2号,第9号论文,21页(2019年).MSC公司:03E15年 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel}等人,日志。方法计算。科学。15,第2号,第9号论文,21页(2019年;Zbl 1454.03061) 全文: arXiv公司
奥利维·芬克尔 不完全性定理、大基数和有限字上的自动机。 (英语) 兹比尔1459.03055 Gopal,T.V.(编辑)等人,《计算模型的理论和应用》。2017年4月20日至22日在瑞士伯尔尼举行的2017年TAMC第14届年会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10185, 231-246 (2017).MSC公司:05年3月 03E55型 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel},莱克特。注释计算。科学。10185、231--246(2017;Zbl 1459.03055) 全文: DOI程序 哈尔
奥利维·芬克尔;多米尼克·勒科姆;皮埃尔·西蒙奈特 可识别树语言复杂性的上限。 (英语) Zbl 1373.03066号 西奥·雷罗。通知。申请。 49,第2期,121-137(2015).MSC公司:05年3月 03E15年 03B70号 65年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel}等人,RAIRO,Theor。通知。申请。49,No.2,121--137(2015;Zbl 1373.03066) 全文: DOI程序 arXiv公司 哈尔
奥利维·芬克尔;托多尔切维奇,斯特沃 树自动结构的层次结构。 (英语) Zbl 1241.03041号 J.塞姆。日志。 77,第1期,350-368(2012).MSC公司:03C57号 05年3月 03E35号 03E50型 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel}和\textit{S.Todorčević},J.Symb。日志。77,第1号,350-368(2012;Zbl 1241.03041) 全文: DOI程序 arXiv公司 欧几里得 哈尔
奥利维·芬克尔 自动机理论中依赖于集合论模型的一些问题。 (英语) Zbl 1232.68082号 西奥·雷罗。通知。申请。 45,第4期,383-397(2011).MSC公司:65年第68季度 2015年第68季度 05年3月 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel},RAIRO,Theor(雷奥)。通知。申请。45,第4号,383--397(2011;Zbl 1232.68082) 全文: DOI程序 arXiv公司 欧洲DML 哈尔
奥利维·芬克尔;托多尔切维奇,斯特沃 树自动结构之间的同构关系。 (英语) Zbl 1207.03050号 美分。欧洲数学杂志。 8,第2号,299-313(2010).MSC公司:05年3月 03元52分 03C62号 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel}和\textit{S.Todorčević},美分。欧洲数学杂志。8,第2号,299--313(2010;Zbl 1207.03050) 全文: DOI程序 arXiv公司 哈尔