×

找到71个文档（结果1–71）

最新 引文 关联
塞巴斯蒂安·马内思;马丁·乌

决定是否可以通过自上而下的转换器实现属性翻译。 （英语） Zbl 07810937号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 230-241 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Maneth}和\textit{M.Vu}，莱克特。注释计算。科学。14151、230--241（2023；Zbl 07810937）
全文： 内政部 arXiv公司
塞巴斯蒂安·马内思;赫尔穆特·塞德尔;马丁·乌

如何决定自上而下的树状换能器的组成功能。 （英语） Zbl 07719139号

Poulakis，Dimitrios（编辑）等人，代数信息学。第九届国际会议，CAI 2022，虚拟活动，2022年10月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13706, 175-191 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Maneth}等人，Lect。注释计算。科学。13706、175--191（2022；Zbl 07719139）
全文： 内政部 arXiv公司
塞巴斯蒂安·马内思;赫尔穆特·塞德尔;马丁·乌

自顶向下树型传感器的可定义性结果。 （英语） Zbl 1518.68185号

Moreira，Nelma（编辑）等人，《语言理论的发展》。第25届国际会议，DLT 2021，葡萄牙波尔图，2021年8月16-20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12811, 291-303 (2021).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.Maneth｝等人，Lect。注释计算。科学。12811291-303（2021年；Zbl 1518.68185）
全文： 内政部 arXiv公司
马尔特·布拉特曼;安德烈亚斯·马莱蒂

恒定加权扩展树传感器的组成。 （英语） Zbl 07498716号

Moreira，Nelma（编辑）等人，《语言理论的发展》。第25届国际会议，DLT 2021，葡萄牙波尔图，2021年8月16-20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12811, 66-77 (2021).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Blattmann}和\textit{A.Maletti}，莱克特。注释计算。科学。12811，66-77（2021；Zbl 07498716）
全文： 内政部
宫崎骏、高崎;米纳酰胺，Yasuhiko

具有前瞻性的上下文无关语法。 （英语） Zbl 07405989号

Leporati，Alberto（编辑）等人，《语言和自动机理论与应用》。2021年3月1日至5日，第15届国际会议，LATA 2021，意大利米兰。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12638, 213-225 (2021).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Miyazaki}和\textit{Y.Minamide}，Lect。注释计算。科学。12638、213--225（2021；Zbl 07405989）
全文： 内政部
约斯特·恩格尔弗里特;佐尔坦，福尔öp;安德烈亚斯·马莱蒂

线性扩展自顶向下树换能器的合成闭包。 （英语） Zbl 1369.68252号

理论计算。系统。 60，第2期，129-171（2017）.
审核人：马格努斯·斯坦比（图尔库）
MSC公司：65年第68季度 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Engelfriet}等人，《理论计算》。系统。60，第2号，129-171（2017年；兹bl 1369.68252）
全文： 内政部 arXiv公司
艾曼纽·菲利奥特;弗雷德里克·塞瓦伊斯

带有look-ahead的可视下推式传感器。 （英语） Zbl 1298.68133号

Bieliková，Mária（编辑）等人，SOFSEM 2012：计算机科学的理论与实践。2012年1月21日至27日，第38届计算机科学理论与实践当前趋势会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27659-0/pbk）。计算机科学课堂讲稿7147251-263（2012）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Filiot}和\textit{F.Servais}，Lect。注释计算。科学。7147251--263（2012年；Zbl 1298.68133）
全文： 内政部
奥雷利拉各特;安德烈亚斯·马莱蒂

调查：加权扩展自上而下树传感器。III、 组成。 （英语） Zbl 1230.68135号

Kuich，Werner（编辑）等人，《计算机科学中的代数基础》。在西蒙·博扎帕里迪斯退休之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-24896-2/pbk）。计算机科学课堂讲稿7020，272-308（2011）。
MSC公司：65年第68季度 2002年8月
PDF格式BibTeX公司 XML格式引用
\textit{A.Lagotte}和\textit{A.Maletti}，莱克特。注释计算。科学。7020、272--308（2011；Zbl 1230.68135）
全文： 内政部
佛罗伦萨·杰克马尔;吉原小岛;Masahiko酒井

受控项重写。 （英语） Zbl 1348.68083号

Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。《人工智能课堂讲稿》，179-194（2011）。
MSC公司：第68季度第42季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Jacquemard}等人，Lect。注释计算。科学。6989、179--194（2011年；Zbl 1348.68083）
全文： 内政部 哈尔
安德烈亚斯·马莱蒂

树系列到树系列的转换。 （英语） Zbl 1172.68518号

Ibarra，Oscar H.（编辑）等人，《自动机的实现和应用》。2008年7月21日至24日，美国加利福尼亚州旧金山，CIAA 2008第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70843-8/pbk）。计算机科学课堂讲稿5148132-140（2008）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Maletti}，莱克特。注释计算。科学。5148，132-140（2008年；兹比尔1172.68518）
全文： 内政部
约斯特·恩格尔弗里特;埃里克，莉琳;安德烈亚斯·马莱蒂

扩展的多自下而上树传感器。 （英语） Zbl 1161.68523号

伊藤正美（编辑）等，《语言理论的发展》。第十二届国际会议，DLT 2008，日本京都，2008年9月16-19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85779-2/pbk）。计算机科学课堂讲稿5257289-300（2008）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛J.Engelfriet｝等人，Lect。注释计算。科学。5257289--300（2008年；Zbl 1161.68523）
全文： 内政部
伊夫·安德烈;弗朗西斯·博苏特

字母对字母自底向上树传感器的等效问题是可以解决的。 （英语） Zbl 1496.68170号

Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。915, 155-171 (1995).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Andre}和\textit{F.Bossut}，莱克特。注释计算。科学。915155--171（1995年；Zbl 1496.68170）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件