×

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

最新的 引文 关联
Ondřej Lengál；Šimáckek，Jiří；汤姆·沃纳

VATA：用于有效操作非确定性树自动机的库。 （英语） Zbl 1352.68135号

Flanagan，Cormac（编辑）等人，《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议（TACAS 2012），是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28755-8/pbk）。计算机科学课堂讲稿7214，79-94（2012）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛O.Lengál｝等人，Lect。注释计算。科学。7214，79-94（2012；Zbl 1352.68135）
全文： 内政部
罗梅奥·库比斯；海姆，皮尔雷·科里尔；奥尔加·库什纳伦科

时间属性模型检查的TAGED近似值。 （英语） Zbl 1248.68323号

Maneth，Sebastian（编辑），自动机的实现和应用。2009年7月14日至17日在澳大利亚悉尼举行的CIAA 2009第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02978-3/pbk）。计算机科学讲座笔记5642135-144（2009）。
MSC公司：60年第68季度 2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Courbis}等人，Lect。注释计算。科学。5642、135——144（2009年；Zbl 1248.68323）
全文： 内政部 链接
Y.Boichut。；库比斯，R。；海姆，P.-C。；O.库什纳伦科。

完成树自动机时处理左二次规则。 （英语） Zbl 1337.68165号

Halava，Vesa（编辑）等人，计算模型可达性问题第二次研讨会论文集（RP 2008），英国利物浦，2008年9月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记22361-70（2008）。
MSC公司：60年第68季度 2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Boichut}等人，《电子》。注释Theor。计算。科学。223、61-70（2008年；Zbl 1337.68165）
全文： 内政部
艾米莉·巴拉德；尤罕·博伊库特；托马斯·杰奈特；皮埃尔·埃蒂安·莫罗

实现树自动机的高效实现。 （英语） Zbl 1170.68425号

Meseguer，José（编辑）等人，代数方法论和软件技术。2008年7月28日至31日在美国伊利诺伊州乌尔班纳举行的2008年AMAST第12届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79979-5/pbk）。计算机科学课堂讲稿5140，67-82（2008）。
MSC公司：68号30 2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Balland}等人，Lect。注释计算。科学。5140、67-82（2008年；Zbl 1170.68425）
全文： 内政部 链接
尤罕·博伊库特；托马斯·杰奈特；托马斯·延森；卢卡勒鲁

重写近似值，用于静态分析器的快速原型制作。 （英语） Zbl 1203.68068号

Franz Baader（编辑），术语重写和应用。2007年6月26日至28日在法国巴黎举行的2007年RTA第18届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73447-5/pbk）。计算机科学课堂讲稿4533，48-62（2007）。
MSC公司：2012年第68季度 68号30 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{Y.Boichut}等人，Lect。注释计算。科学。4533、48-62（2007年；Zbl 1203.68068）
全文： 内政部
约什，格雷塔；亚历山大·拉比诺维奇；穆利·萨吉夫；安托万·迈耶；艾哈迈德·博阿贾尼

链接数据结构中可访问模式的逻辑。 （英语） Zbl 1121.03040号

J.日志。阿尔盖布。程序。 73，编号1-2，111-142（2007）.
审核人：亚历克斯·纳贝宾（莫斯科）
MSC公司：03B70号 03B25号 68第05页 03B15号机组 05年3月 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛G.Yorsh｝等人，J.Log。阿尔盖布。程序。73，编号1--2，111-142（2007；Zbl 1121.03040）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

主字段

全部的 前3名

软件