×

找到31个文档（结果1-31）

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

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

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

量化同步语言中的交流。 （英语） Zbl 1465.68069号

徐大川（主编）等，《计算与组合学》。第21届国际会议，COCOON 2015，中国北京，2015年8月4-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。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（编辑）等人，《计算模型的理论和应用》。第十届国际会议，TAMC 2013，中国香港，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}，莱克特。注释计算。科学。7876、156--168（2013年；Zbl 1382.68135）
全文： 内政部
厄梅·埃西奥·卢;奥斯卡·H·伊巴拉。;Tran，Nicholas Q。

多磁带NFA：输入头的弱同步。 （英语） Zbl 1298.68131号

Bieliková，Mária（编辑）等人，SOFSEM 2012：计算机科学的理论与实践。2012年1月21日至27日，第38届计算机科学理论与实践当前趋势会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27659-0/pbk）。计算机科学课堂讲稿7147238-250（2012）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Ø.EÚecio-lu}等人，Lect。注释计算。科学。7147238--250（2012年；Zbl 1298.68131）
全文： 内政部
奥斯卡·H·伊巴拉。;Tran，Nicholas Q。

关于同步多磁带和多头自动机。 （英语） Zbl 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·伊巴拉。

使用多轨迹自动机进行关系字符串验证。 （英语） Zbl 1297.68280号

Domaratzki，Michael（编辑）等人，《自动机的实现和应用》。2010年8月12日至15日，加拿大温尼伯CIAA 2010第15届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18097-2/pbk）。计算机科学课堂讲稿6482290-299（2011）。
MSC公司：68瓦32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Yu}等人，Lect。注释计算。科学。6482290-299（2011年；Zbl 1297.68280）
全文： 内政部
于、方;特维克布尔坦;奥斯卡·H·伊巴拉。

符号字符串验证：结合字符串分析和大小分析。 （英语） Zbl 1234.68269号

Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。计算机科学讲座笔记5505322-336（2009）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Yu}等人，Lect。注释计算。科学。55050322-336（2009年；兹比尔12346.8269）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件