奥利维·芬克尔 (\omega\)-有理函数的两个有效性质。 (英语) Zbl 1520.03009号 发现的国际期刊。计算。科学。 32,第7号,901-920(2021).MSC公司:05年3月 2015年3月 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel},国际期刊发现。计算。科学。32,编号7,901--920(2021;Zbl 1520.03009) 全文: 内政部
李燕;胡盛龙;王杰;黄正海 介绍矩阵乘法的计算复杂性。 (英语) Zbl 1463.90252号 《运营杂志》。Res.Soc.中国 8,编号1,29-43(2020).MSC公司:90C60型 2015年3月1日 第15页第99页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,J.Oper。中国研究院8号,第1期,第29-43页(2020年;Zbl 1463.90252) 全文: 内政部
奥利维·芬克尔 不完全性定理、大基数和无限单词上的自动机。 (英语) Zbl 1440.03056号 Halldórsson,Magnüs M.(编辑)等人,《自动化、语言和编程》。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。9135, 222-233 (2015).MSC公司:05年3月 2015年3月 03E35号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel},莱克特。注释计算。科学。9135222-233(2015年;兹比尔1440.03056) 全文: 内政部 哈尔
奥利维·芬克尔 自动机理论中依赖于集合论模型的一些问题。 (英语) 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) 全文: 内政部 arXiv公司 欧洲DML 哈尔
奥利维·芬克尔 无限计算的高度不可判定问题。 (英语) Zbl 1171.03024号 西奥。通知。申请。 43,第2期,339-364(2009).MSC公司:03天35分 05年3月 2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{O.Finkel},Theor。通知。申请。43,第2号,339--364(2009;Zbl 1171.03024) 全文: 内政部 arXiv公司 欧洲DML
奥利维尔·卡尔顿;奥利维·芬克尔;皮埃尔·西蒙奈特 关于欧米伽有理函数的连续集。 (英语) Zbl 1149.03028号 西奥。通知。申请。 42,第1期,183-196(2008).MSC公司:05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Carton}等人,Theor。通知。申请。42,第1号,183--196(2008;Zbl 1149.03028) 全文: 内政部 arXiv公司 欧洲DML
奥利维·芬克尔 无穷有理关系的拓扑和算术性质的不确定性。 (英语) Zbl 1112.03312号 西奥。通知。申请。 37,第2期,115-126(2003).MSC公司:05年3月 03天55 2015年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{O.Finkel},Theor。通知。申请。37,第2号,115-126(2003;Zbl 1112.03312) 全文: 内政部 Numdam编号 欧洲DML 哈尔
奥利维·芬克尔 关于无穷有理关系的拓扑复杂性。 (英语) Zbl 1112.03313号 西奥。通知。申请。 37,第2期,第105-113页(2003年).MSC公司:05年3月 03D55号 2015年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{O.Finkel},Theor。通知。申请。37,第2号,第105-113条(2003年;Zbl 1112.03313) 全文: 内政部 arXiv公司 Numdam编号 欧洲DML
Kryvyi,S.L。 方程理论中的统一问题。 (英语。俄文原件) Zbl 0919.68116号 赛博。系统。分析。 33,第6号,874-899(1997); 翻译自Kibern。修女。分析。1998年,第6期,第150-179页(1997年)。MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \文本{S.L.Kryvyi},Cybern。系统。分析。33,编号6,874-899(1997年;Zbl 0919.68116);翻译自Kibern。修女。分析。1998年,第6期,150--179(1997) 全文: 内政部
沃尔夫冈·托马斯 在\(\omega\)-字上的无限树和自动机定义关系。 (英语) Zbl 0760.68043号 西奥。计算。科学。 103,第1期,143-159(1992). 审核人:W.托马斯 MSC公司:65年第68季度 60年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \文本{W.托马斯},Theor。计算。科学。103,第1号,143--159(1992;Zbl 0760.68043) 全文: 内政部
克雷申齐,P。;西尔维斯特里。 评估最佳成本并为最大化问题构造最佳方案的相对复杂性。 (英语) Zbl 0702.68052号 信息处理。莱特。 33,No.5,221-226(1990).MSC公司:2015年第68季度 65年第68季度 2015年3月1日 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{P.Crescenzi}和\textit{R.Silvestri},Inf.过程。莱特。33,编号5,221--226(1990;Zbl 0702.68052) 全文: 内政部
格尔马诺,G。;马扎蒂,S。 基本迭代和一元函数。 (英语) Zbl 0664.68047号 Ann.纯粹应用。逻辑 40,第3期,217-256(1988年). 审核人:A.Maggiolo-Schettini先生 MSC公司:03D60年 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{G.Germano}和\textit{S.Mazzanti},Ann.Pure Appl。逻辑40,No.3,217--256(1988;Zbl 0664.68047) 全文: 内政部
弗朗索瓦·法赫斯;杰拉德·休特 方程理论中的整套统一器和匹配器。 (英语) 兹比尔0615.03002 西奥。计算。科学。 43, 189-200 (1986). 审核人:V.Cţlm෧uianu MSC公司:03B35型 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Fages}和\textit{G.Huet},Theor。计算。科学。43、189--200(1986年;Zbl 0615.03002) 全文: 内政部
乔治·杰尔马诺;安德烈亚·马焦洛·谢蒂尼 没有柱面化和有限寄存器机的序列递归性。 (英语) Zbl 0464.68050号 西奥。计算。科学。 15, 213-221 (1981).MSC公司:03D60年 60年第68季度 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{G.Germano}和\textit{A.Maggiolo-Schettini},Theor。计算。科学。15、213--221(1981年;Zbl 0464.68050) 全文: 内政部
乔治·杰尔马诺;安德烈亚·马焦洛·谢蒂尼 用于堆栈程序语义的可计算堆栈函数。 (英语) Zbl 0428.68057号 J.计算。系统。科学。 19, 133-144 (1979).MSC公司:03D60年 03D20日 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Germano}和\textit{A.Maggiolo-Schettini},J.Compute。系统。科学。19、133--144(1979年;Zbl 0428.68057) 全文: 内政部
Dezani-Ciancaglini,M。;Ronchi Della Rocca,S。;塞塔,L。 (λ)项约简的复杂性。 (英语) Zbl 0424.03009号 RAIRO,Inf.Théor公司。 13, 257-287 (1979).MSC公司:03B40型 68问题65 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}等人,RAIRO,Inf.Théor。13、257--287(1979;Zbl 0424.03009) 全文: 欧洲DML
A.阿诺德。;M.Latteux。 递归岩和科恩斯理据费尔梅斯par十字路口。 (法语) Zbl 0421.68075号 卡尔科洛 15, 382-394 (1978).MSC公司:65年第68季度 03D40号 PDF格式BibTeX公司 XML格式引用 \textit{A.Arnold}和\textit{M.Latteux},加尔各洛15,382--394(1978;Zbl 0421.68075) 全文: 内政部
马丁·佩吉特 马尔可夫算法家族的复合体属性。 (法语) Zbl 0368.68056号 RAIRO,Inf.Théor公司。 12, 15-32 (1978).MSC公司:65年第68季度 68瓦99 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{M.Paget}、RAIRO、Inf.Théor。12、15--32(1978年;Zbl 0368.68056) 全文: 欧洲DML
朱塞佩·隆戈 关于部分组合代数和形式系统中的等式判定问题。 (英语) Zbl 0353.0209号 螺柱日志。 35, 363-375 (1976).MSC公司:03B40型 03D60年 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Longo},螺柱日志。35、363--375(1976年;Zbl 0353.0209) 全文: 内政部
格尔马诺,G。;Maggiolo-Schettini,A。 序列到序列的递归性。 (英语) Zbl 0311.02047号 信息处理。莱特。 4, 1-6 (1975).MSC公司:03D20日 03D99号 68号01 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Germano}和\textit{A.Maggiolo-Schettini},Inf.过程。莱特。4、1--6(1975年;Zbl 0311.02047) 全文: 内政部
阿德里亚诺波利,F。;A.德卢卡。 计算复杂性度量的闭包操作。 (英语) Zbl 0311.68034号 卡尔科洛 11, 205-217 (1974).MSC公司:65年第68季度 05年3月 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{F.Adrianopoli}和\textit{A.De Luca},Calcolo 11,205-217(1974;Zbl 0311.68034) 全文: 内政部