×

找到123个文档（结果1-100）

最新 引文 关联
鲍曼，帕斯卡;弗拉维奥·达莱桑德罗;摩西·加纳迪;奥斯卡·伊巴拉;McQuillan，伊恩;Lia Schütze女士;乔治·泽采

具有可逆有界计数器的机器的无界性问题。 （英语） Zbl 07770340号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992240-264（2023年）。
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Baumann}等人，Lect。注释计算。科学。13992、240——264（2023；Zbl 07770340）
全文： 内政部 arXiv公司
奥斯卡·H·伊巴拉。;McQuillan，伊恩

计数器决策问题的复杂性及其在编码理论中的应用。 （英语） Zbl 07571008号

Diekert，Volker（编辑）等人，《语言理论的发展》。第26届国际会议，DLT 2022，美国佛罗里达州坦帕，2022年5月9日至13日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13257, 177-188 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}和\textit{I.McQuillan}，莱克特。注释计算。科学。13257、177--188（2022；Zbl 07571008）
全文： 内政部
奥斯卡·H·伊巴拉。;Jozef jun，Jirásek。;McQuillan，伊恩;卢卡·普里吉奥尼埃罗

堆栈自动机模型的空间复杂性。 （英语） Zbl 1518.68177号

Jonoska，Nataša（编辑）等人，《语言理论的发展》。第24届国际会议，DLT 2020，美国佛罗里达州坦帕，2020年5月11日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12086, 137-149 (2020).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}等人，Lect。注释计算。科学。12086、137--149（2020年；Zbl 1518.68177）
全文： 内政部
奥斯卡·H·伊巴拉。;McQuillan，伊恩

语言接受者的输入位置受限模型。 （英语） Zbl 1434.68158号

Adamatzky，Andrew（编辑），可逆性和普遍性。在森田贤一70岁生日之际，向他提交了论文。查姆：斯普林格。Emerg.复杂。计算。30, 357-372 (2018).
MSC公司：04年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}和\textit{I.McQuillan}，Emerg.Complex。计算。30357-372（2018年；兹比尔1434.68158）
全文： 内政部
弗拉维奥·达莱桑德罗;奥斯卡·H·伊巴拉。;McQuillan，伊恩

关于有限索引索引文法及其限制。 （英语） Zbl 1485.68127号

Drewes，Frank（编辑）等人，《语言与自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10168, 287-298 (2017).
MSC公司：2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.D'Alessandro}等人，Lect。注释计算。科学。10168，287--298（2017；Zbl 1485.68127）
全文： 内政部 arXiv公司
奥斯卡·H·伊巴拉。;McQuillan，伊恩

关于有界半线性语言、计数器和有限索引ET0L。 （英语） Zbl 1475.68156号

Han，Yo-Sub（编辑）等，自动机的实现和应用。2016年7月19日至22日，第21届国际会议，CIAA 2016，韩国首尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9705, 138-149 (2016).
MSC公司：65年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}和\textit{I.McQuillan}，莱克特。注释计算。科学。9705138-149（2016；Zbl 1475.68156）
全文： 内政部
奥斯卡·H·伊巴拉。;McQuillan，伊恩

关于包含计数器机器语言的完整三极管家族。 （英语） Zbl 1436.68173号

Brlek，Srečko（编辑）等人，《语言理论的发展》。2016年7月25日至28日，第20届国际会议，DLT 2016，加拿大蒙特利尔。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9840, 216-228 (2016).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}和\textit{I.McQuillan}，莱克特。注释计算。科学。9840、216——228（2016年；Zbl 1436.68173）
全文： 内政部 arXiv公司
乔伊·埃雷蒙迪;奥斯卡·H·伊巴拉。;McQuillan，伊恩

关于无语境语言和反语境语言的密度。 （英语） Zbl 1386.68089号

Potapov，Igor（编辑），语言理论的发展。2015年7月27日至30日在英国利物浦举行的2015年DLT第19届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-21499-3/pbk；978-3-3169-21500-6/电子书）。计算机科学讲义9168228-239（2015）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Eremondi}等人，Lect。注释计算。科学。9168、228--239（2015年；Zbl 1386.68089）
全文： 内政部 arXiv公司
党、哲;托马斯·费舍尔。;威廉·赫顿。;奥斯卡·H·伊巴拉。;李，秦

用同步语言量化通信。 （英语） Zbl 1465.68069号

徐大川（主编）等，《计算与组合学》。2015年8月4日至6日，中国北京，第21届国际会议，COCOON 2015。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9198, 635-647 (2015).
MSC公司：68页30 2010年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{Z.Dang}等人，Lect。注释计算。科学。9198、635--647（2015；Zbl 1465.68069）
全文： 内政部
奥斯卡·H·伊巴拉。;Shinnosuke Seki公司

关于半线性集的有界性。 （英语） Zbl 1382.68135号

Chan，T-H.Hubert（编辑）等人，《计算模型的理论和应用》。第十届国际会议，2013年TAMC，中国香港，2013年5月20日至22日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38235-2/pbk）。计算机科学课堂讲稿7876156-168（2013）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛O.H.Ibarra｝和\textit｛S.Seki｝，Lect。注释计算。科学。7876、156--168（2013年；Zbl 1382.68135）
全文： 内政部
奥斯卡·H·伊巴拉。;Tran，Nicholas Q。

关于同步多磁带和多头自动机。 （英语） 兹比尔1341.68094

Holzer，Markus（编辑）等人，《形式系统的描述复杂性》。2011年7月25日至27日，第13届国际研讨会，DCFS 2011，德国利姆堡Gießen/Limburg。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22599-4/pbk）。计算机科学讲座笔记6808184-197（2011）。
MSC公司：65年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}和\textit{N.Q.Tran}，莱克特。注释计算。科学。6808184-197（2011；Zbl 1341.68094）
全文： 内政部
奥斯卡·H·伊巴拉。

关于GSM、传感器和线性CFG的包容和等效问题。 （英语） Zbl 1297.68139号

Bouchou Markhoff，Béatrice（编辑）等人，自动机的实现和应用。2011年7月13日至16日在法国布洛伊斯举行的CIAA 2011第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22255-9/pbk）。计算机科学讲座笔记6807190-202（2011）。
MSC公司：65年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}，莱克特。注释计算。科学。6807190--202（2011；Zbl 1297.68139）
全文： 内政部
伊桑奇尼福鲁珊;马克·戴利;奥斯卡·H·伊巴拉。;卡里、莉拉;Shinnosuke Seki公司

一个反转计数器机器和多头自动机：重新审视。 （英语） Zbl 1298.68127号

乔纳·伊万娜（编辑）等，《SOFSEM 2011：计算机科学的理论与实践》。第37届计算机科学理论与实践当前趋势会议，2011年1月22日至28日，斯洛伐克，11月斯莫科维奇。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-18380-5/pbk）。计算机科学课堂讲稿6543166-177（2011）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Chiniforoshan}等人，Lect。注释计算。科学。6543、166--177（2011年；Zbl 1298.68127）
全文： 内政部 链接
奥斯卡·H·伊巴拉。;安德烈·佩恩;Rodríguez Patón，阿方索

SNP系统中由尖峰数诱导的序列性。 （英语） Zbl 1258.68059号

Goel，Ashish（编辑）等，DNA计算。第14届DNA计算国际会议，DNA 14，捷克共和国布拉格，2008年6月2-9日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03075-8/pbk）。计算机科学讲义5347179-190（2009）。
MSC公司：2005年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}等人，Lect。注释计算。科学。5347199-190（2009年；兹比尔1258.68059）
全文： 内政部
马蒂奥·卡瓦利埃;奥斯卡·H·伊巴拉。;佩恩，古奥热;奥马尔·埃盖西奥格鲁;米海，伊奥内斯库;萨拉·伍德沃思

异步尖峰神经P系统。 （英语） Zbl 1168.68014号

西奥。计算。科学。 410，编号24-25，2352-2364（2009）.
MSC公司：2005年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Cavaliere}等人，Theor。计算。科学。410，编号24-25，2352--2364（2009；Zbl 1168.68014）
全文： 内政部 链接
马蒂奥·卡瓦利埃;奥马尔·埃盖西奥格鲁;奥斯卡·H·伊巴拉。;米海，伊奥内斯库;佩恩，古奥热;萨拉·伍德沃思

异步脉冲神经P系统：可决定性和不可决定性。 （英语） Zbl 1137.68377号

Garzon，Max H.（编辑）等人，《DNA计算》。第十三届DNA计算国际会议，DNA13，美国田纳西州孟菲斯，2007年6月4-8日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-77961-2/pbk）。计算机科学课堂讲稿4848246-255（2008）。
MSC公司：2010年第68季度 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Cavaliere}等人，Lect。注释计算。科学。4848246--255（2008年；Zbl 1137.68377）
全文： 内政部
奥斯卡·H·伊巴拉。;萨拉·伍德沃思

关于有界同/反端口P系统。 （英语） Zbl 1234.68112号

Carbone，Alessandra（编辑）等人，DNA计算。第11届DNA计算国际研讨会，DNA11，加拿大安大略省伦敦，2005年6月6日至9日。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-34161-7/pbk）。计算机科学课堂讲稿3892129-143（2006）。
MSC公司：2010年第68季度 2005年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}和\textit{S.Woodworth}，莱克特。注释计算。科学。3892、129--143（2006年；Zbl 1234.68112）
全文： 内政部
奥斯卡·伊巴拉;佩德罗·迪尼兹;马丁·里纳德

关于交换性分析的复杂性。 （英语） 兹比尔1529.68119

蔡金毅（主编）等，《计算与组合学》。第二届国际年会，COCOON’96，香港，1996年6月17日至19日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1090, 323-332 (1996).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Ibarra}等人，Lect。注释计算。科学。1090、323--332（1996年；Zbl 1529.68119）
全文： 内政部
奥斯卡·H·伊巴拉。;蒋涛

关于蜂窝阵列复杂性的一些悬而未决的问题。 （英语） Zbl 1529.68174号

Karhumäki，Juliani（编辑）等人，《理论计算机科学的结果和趋势》。1994年6月10日至11日，奥地利格拉茨阿尔托·萨洛马学术讨论会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。812, 183-196 (1994).
MSC公司：68问题80 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}和\textit{T.Jiang}，Lect。注释计算。科学。812183-196（1994年；Zbl 1529.68174）
全文： 内政部
奥斯卡·H·伊巴拉。;蒋涛;尼古拉斯·特兰;王慧

关于双向计数器和应用的新可判定性结果。 （英语） Zbl 1422.68150号

Lingas，Andrzej（编辑）等人，自动机，语言和编程。第20届国际学术讨论会，ICALP 93，瑞典隆德，1993年7月5日至9日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。700, 313-324 (1993).
MSC公司：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit｛O.H.Ibarra｝等人，Lect。注释计算。科学。700、313--324（1993年；Zbl 1422.68150）
全文： 内政部
奥斯卡·H·伊巴拉。;Trán，Nicholas Q。

关于同步有限自动机的新结果。 （英语） Zbl 1425.68208号

Kuich，Werner（编辑），自动机，语言和编程。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。623, 126-137 (1992).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}和\textit{N.Q.TráN}，莱克特。注释计算。科学。623126-137（1992年；Zbl 1425.68208）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件