×

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

最新的 引文 相关性
阿努普·巴塔查里亚;阿里吉特·比什努;阿里吉特·戈什;戈皮纳特·米什拉

使用彩色决策预言机实现更快的计数和采样算法。 （英语） Zbl 07836577号

Berenbrink，Petra（ed.）等人，第39届计算机科学理论方面国际研讨会，STACS 2022，法国马赛，虚拟会议，2022年3月15日至18日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。219，第10条，第16页（2022年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Bhattacharya}等人，LIPIcs——莱布尼茨国际程序。通知。219，第10条，第16页（2022；Zbl 07836577）
全文： 内政部 arXiv公司
法兰克·德雷维斯;伯特霍尔德·霍夫曼;马克·米纳斯

非循环上下文超边缘替换：非循环性和生成能力的可判定性。 （英语） Zbl 1514.68090号

Behr，Nicolas（编辑）等人，《图形变换》。2022年7月7日至8日，作为2022年STAF的一部分，在法国南特举行了第15届国际会议，ICGT 2022。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13349, 3-19 (2022).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Drewes}等人，Lect。注释计算。科学。13349，3-19（2022；Zbl 1514.68090）
全文： 内政部
法兰克·德雷维斯;伯特霍尔德·霍夫曼;马克·米纳斯

非循环上下文超边缘替换文法的基于规则的自顶向下解析。 （英语） Zbl 1492.68068号

Gadducci，Fabio（编辑）等人，《图形变换》。2021年6月24日至25日，第14届国际会议，ICGT 2021，作为STAF 2021虚拟活动的一部分举行。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12741, 164-184 (2021).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Drewes}等人，Lect。注释计算。科学。12741164--184（2021年；Zbl 1492.68068）
全文： 内政部
法兰克·德雷维斯;伯特霍尔德·霍夫曼;马克·米纳斯

图形解析为图形转换。预测自上而下解析器的正确性。 （英语） 兹比尔1502.68150

Gadducci，Fabio（编辑）等人，《图形变换》。2020年6月25日至26日，作为STAF 2020的一部分，在挪威卑尔根举行了第13届国际会议，ICGT 2020。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12150, 221-238 (2020).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Drewes}等人，Lect。注释计算。科学。12150，221--238（2020；Zbl 1502.68150）
全文： 内政部
法兰克·德雷维斯;伯特霍尔德·霍夫曼;马克·米纳斯

将预测移位减少分析扩展到上下文超边缘替换文法。 （英语） Zbl 1429.68087号

Guerra，Esther（编辑）等人，《图形变换》。2019年7月15日至16日，作为2019年STAF的一部分，在荷兰埃因霍温举行了第十二届国际会议，即2019年ICGT。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11629, 55-72 (2019).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Drewes}等人，Lect。注释计算。科学。11629、55-72（2019年；Zbl 1429.68087）
全文： 内政部
伯特霍尔德·霍夫曼;马克·米纳斯

超边替换图文法的广义预测移位减少分析。 （英语） Zbl 1425.68165号

Martín-Vide，Carlos（编辑）等人，《语言和自动机理论与应用》。2019年3月26日至29日在俄罗斯圣彼得堡举行的第13届LATA国际会议，会议记录。查姆：斯普林格。勒克特。注释计算。科学。11417, 233-245 (2019).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Hoffmann}和\textit{M.Minas}，莱克特。注释计算。科学。11417233-245（2019年；兹比尔1425.68165）
全文： 内政部
科里·彭尼库夫;沙提亚基·锡达尔;卡塔琳娜·瓦贾克;大卫·蒋;蒂姆·温inger

同步超边替换图文法。 （英语） Zbl 1394.68204号

Lambers，Leen（编辑）等人，《图形变换》。2018年6月25日至26日，作为2018年STAF的一部分，在法国图卢兹举行了第11届国际会议，即2018年ICGT。诉讼程序。查姆：施普林格（ISBN 978-3-319-92990-3/pbk；978-3-3169-92991-0/电子书）。计算机科学课堂讲稿10887，20-36（2018）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Pennycuff}等人，Lect。注释计算。科学。10887，20-36（2018；兹比尔1394.68204）
全文： 内政部
法兰克·德雷维斯;伯特霍尔德·霍夫曼;马克·米纳斯

预测移位减少了超边缘替换语法的解析。 （英语） 兹比尔1425.68159

de Lara，Juan（编辑）等人，《图形变换》。2017年7月18日至19日，作为2017年STAF的一部分，在德国马尔堡举行了第十届国际会议，即2017年ICGT。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10373, 106-122 (2017).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Drewes}等人，Lect。注释计算。科学。10373、106-122（2017年；Zbl 1425.68159）
全文： 内政部
亨利克·比约克隆德;法兰克·德雷维斯;彼得·埃里克森

在岩石和坚硬的地方之间——超边缘替换DAG语法的统一解析。 （英语） Zbl 1443.68077号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2016年3月14日至18日在捷克共和国布拉格举行的2016年拉丁美洲旅游协会第十届国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9618, 521-532 (2016).
MSC公司：2012年第68季度 68周05 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{H.Björklund}等人，Lect。注释计算。科学。9618、521--532（2016；Zbl 1443.68077）
全文： 内政部
克里斯托夫·马提亚;克里斯蒂娜·詹森;诺尔，托马斯

树状语法和分离逻辑。 （英语） Zbl 1329.68154号

冯新余（主编）等，《程序设计语言与系统》。2015年11月30日至12月2日，第13届亚洲研讨会，APLAS，韩国浦项。诉讼程序。查姆：施普林格（ISBN 978-3-319-26528-5/pbk；978-3-316-26529-2/电子书）。计算机科学课堂讲稿9458，90-108（2015）。
MSC公司：2012年第68季度 03B70号 68第05页
PDF格式BibTeX公司 XML格式引用
\textit｛C.Matheja｝等人，Lect。注释计算。科学。9458、90-108（2015年；Zbl 1329.68154）
全文： 内政部
克里斯蒂娜·詹森;诺尔，托马斯

为指针程序生成基于图形的抽象过程摘要。 （英语） Zbl 1423.68100号

Giese，Holger（编辑）等人，《图形变换》。2014年7月22日至24日，作为2014年STAF的一部分，在英国约克举行了2014年第七届国际会议ICGT。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。8571, 49-64 (2014).
MSC公司：68号30 68第05页 2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Jansen}和\textit{T.Noll}，莱克特。注释计算。科学。8571，49--64（2014；Zbl 1423.68100）
全文： 内政部
伊万·拉内斯

在图转换中利用用户定义的同步。 （英语） Zbl 1283.68186号

Bruni，Roberto（ed.）等人，第五届图形转换和视觉建模技术国际研讨会论文集（GT-VMT 2006），奥地利维也纳，2006年4月1日至2日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记211，27-38（2008）。
MSC公司：2012年第68季度 05C65号
PDF格式BibTeX公司 XML格式引用
\textit{I.Lanese}，电子。注释Theor。计算。科学。211、27-38（2008；Zbl 1283.68186）
全文： 内政部
迪迪埃·科卡尔

确定性图文法。 （英语） Zbl 1230.68121号

Flum，Jörg（编辑）等人，《逻辑与自动机》。历史和观点。在沃尔夫冈·托马斯六十岁生日之际献给他。阿姆斯特丹：阿姆斯特丹大学出版社（ISBN 978-90-5356-576-6/pbk）。《逻辑和游戏中的文本》2169-250（2008）。
审核人：György Vaszil（德布勒森）
MSC公司：2012年第68季度 68-02
PDF格式BibTeX公司 XML格式引用
\textit{D.Caucal}，文本日志。游戏2169-250（2008；Zbl 1230.68121）
Steffen，马扎内克;索尼娅·迈尔;马克·米纳斯

一种基于超边替换文法的超图补全算法。 （英语） Zbl 1175.68228号

Ehrig，Hartmut（编辑）等人，《图形变换》。2008年9月7日至13日在英国莱斯特举行的2008年第四届国际燃气轮机大会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87404-1/pbk）。计算机科学课堂讲稿5214，39-53（2008）。
MSC公司：2012年第68季度 05C65号 05立方厘米85
PDF格式BibTeX公司 XML格式引用
\textit{S.Mazanek}等人，Lect。注释计算。科学。5214、39-53（2008年；Zbl 1175.68228）
全文： 内政部
阿德里安·霍里亚·德迪乌;雷纳特·克莱姆皮恩·亨里克斯;汉斯·约尔格·克鲁斯基;贝内德克·纳吉

上下文超图文法——生成超图语言的新方法。 （英语） Zbl 1227.68039号

Ibarra，Oscar H.（编辑）等人，《语言理论的发展》。2006年6月26日至29日，第十届国际会议，DLT 2006，美国加利福尼亚州圣巴巴拉。诉讼程序。柏林：施普林格出版社（ISBN 3-540-35428-X/pbk）。计算机科学课堂讲稿4036，327-338（2006）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.-H.Dediu}等人，Lect。注释计算。科学。4036、327--338（2006；Zbl 1227.68039）
全文： 内政部
娜塔莉亚·德·里德;H.N.德瑞德。

一些无限图族的诱导子图的自动推导。 （英语） Zbl 1203.05150号

Grüttmüller，M.（编辑）等人，ODSA 2006。最佳离散结构和算法会议，德国罗斯托克，2006年9月4-6日。阿姆斯特丹：爱思唯尔。离散数学电子笔记27，19-20（2006）。
MSC公司：05立方厘米85 05C75号
PDF格式BibTeX公司 XML格式引用
\textit{N.De Ridder}和\textit{H.N.De Ridger}，电子。注释离散数学。27，19-20（2006年；兹bl 1203.05150）
全文： 内政部
李建平;李康;法律，Ken C.K。;赵浩

关于循环中超边的包装和着色。 （英语） Zbl 1128.90576号

王璐生（编辑），计算与组合学。第十一届国际年会，COCOON 2005，中国昆明，2005年8月16-29日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28061-8/pbk）。计算机科学课堂讲稿3595220-229（2005）。
MSC公司：90立方厘米 05C15号 05立方厘米85 90B10型 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{J.Li}等人，Lect。注释计算。科学。3595，220-229（2005；Zbl 1128.90576）
全文： 内政部
丹·赫施;乌戈·蒙塔纳里

分布式系统软件架构风格的一致转换。 （英语） Zbl 0966.68015号

Stefanescu，Gheorghe（编辑），WDS’99。分布式系统研讨会。1999年9月2日至3日，罗马尼亚拉西FCT’99卫星研讨会。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。28，18 p.，仅电子版（1999年）。
MSC公司：64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{D.Hirsch}和\textit{U.Montanari}，位于：WDS'99中。分布式系统研讨会。1999年9月2日至3日，罗马尼亚拉西FCT’99卫星研讨会。阿姆斯特丹：爱思唯尔。18页（1999年；Zbl 0966.68015）
法兰克·德雷维斯

用超边替换生成树。 （英语） Zbl 0941.68066号

Privara，L.（编辑）等人，1997年计算机科学的数学基础。第22届国际研讨会，1997年8月25日至29日，斯洛伐克布拉迪斯拉发，MFCS’97。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1295, 229-238 (1997).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Drewes}，莱克特。注释计算。科学。1295、229--238（1997年；Zbl 0941.68066）
布鲁诺·库塞尔

无上下文图文法：分离顶点替换和超边排斥。 （英语） Zbl 0793.68115号

埃西克，佐尔坦（编辑），《计算理论基础》。第九届国际会议，1993年8月23日至27日，匈牙利塞格德FCT’93。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。第710181-193页（1993年）。
MSC公司：68兰特 2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Courcelle}，莱克特。注释计算。科学。710181-193（1993年；兹bl 0793.68115）
穆罕默德·莫斯巴

概率图文法。 （英语） Zbl 0789.68085号

Mayr，Ernst W.（编辑），计算机科学中的图论概念。1992年6月18日至20日，第18届国际研讨会，1992年工作组，德国威斯巴登-诺罗德。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。657, 236-247 (1993).
MSC公司：2012年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.Mosbah}，莱克特。注释计算。科学。657236--247（1993；Zbl 0789.68085）
布鲁诺·库塞尔

图文法、一元二阶逻辑和图子理论。 （英语） Zbl 0787.05086号

Robertson，Neil（编辑）等，图结构理论。1991年6月22日至7月5日在华盛顿大学西雅图（美国）举行的AMS-IMS-SIAM未成年人图形联合夏季研究会议记录。普罗维登斯，RI：美国数学学会。康斯坦普。数学。147, 565-590 (1993).
MSC公司：05C99年 68兰特 2012年第68季度 05C75号 03B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{B.Courcelle}，康斯坦普。数学。147、565--590（1993年；Zbl 0787.05086）
汉斯·约尔格·克鲁斯基

并行超边缘替换。 （英语） Zbl 0771.68075号

Lindenmayer系统。对理论计算机科学、计算机图形学和发育生物学的影响，271-282（1992）。
审核人：G.Paun（布库雷什蒂）
MSC公司：65年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.-J.Krowski}，in：林登迈耶系统。对理论计算机科学、计算机图形学和发育生物学的影响。柏林等：Springer-Verlag。271-282（1992年；兹bl 0771.68075）
阿内格丽特·哈贝尔;汉斯·约尔格·克鲁斯基

通过兼容属性筛选超边缘替换语言。 （英语） Zbl 0787.68067号

计算机科学中的图论概念。第15届国际研讨会，89年工作组，Rolduc/Neth城堡。1989年，Lect。注释计算。科学。411, 107-120 (1990).
MSC公司：2012年第68季度 68兰特 05C65号
PDF格式BibTeX公司 XML格式引用
\textit{A.Habel}和\textit{H.-J.Krowski}，莱克特。注释计算。科学。411107--120（1990年；Zbl 0787.68067）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件