×

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

最新的 引文 相关性
法兰克·德雷维斯;伯特霍尔德·霍夫曼;马克·米纳斯

非循环上下文超边缘替换：非循环性和生成力的可判定性。 （英语） 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）
全文： DOI程序
法兰克·德雷维斯;伯特霍尔德·霍夫曼;马克·米纳斯

非循环上下文超边缘替换文法的基于规则的自顶向下解析。 （英语） 兹比尔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）
全文： DOI程序
法兰克·德雷维斯;伯特霍尔德·霍夫曼;马克·米纳斯

将图形解析为图形转换。预测性自顶向下解析器的正确性。 （英语） Zbl 1502.68150号

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

平方重定义拼贴文法的选定决策问题。 （英语） Zbl 1350.68163号

Kuich，Werner（编辑）等人，《计算机科学中的代数基础》。在西蒙·博扎帕里迪斯退休之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-24896-2/pbk）。计算机科学课堂讲稿7020，1-29（2011）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Drewes}，莱克特。注释计算。科学。7020，1--29（2011；Zbl 1350.68163）
全文： DOI程序
法兰克·德雷维斯;汉斯·约尔格·克鲁斯基;德尼·拉波伊尔

否定拼贴语言无语境性的标准。 （英语） Zbl 1507.68166号

Chlebus，Bogdan S.（编辑）等人，《计算理论基础》。第11届国际研讨会，1997年9月1日至3日，波兰克拉科夫贾吉略大学FCT’97。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第1279页，第169-178页（1997年）。
MSC公司：65年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Drewes}等人，Lect。注释计算。科学。1279、169--178（1997年；Zbl 1507.68166）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件