×

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

最新的 引文 关联
曼弗雷德·德罗斯特;迪特里赫·库斯克

加权自动机。 （英语） Zbl 1508.68189号

Pin，Jean-Eric（编辑），《自动机理论手册》。第一卷理论基础。柏林：欧洲数学学会（EMS）。113-150 (2021).
理学硕士：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Droste｝和\textit｛D.Kuske｝，《自动机理论手册》。第一卷理论基础。柏林：欧洲数学学会（EMS）。113-150（2021年；Zbl 1508.68189）
全文： 内政部
曼弗雷德·德罗斯特;保罗·加斯丁

非周期加权自动机和加权一阶逻辑。 （英语） Zbl 07561720号

Rossmanith，Peter（ed.）等人，第44届计算机科学数学基础国际研讨会，2019年MFCS，德国亚琛，2019月26日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际会议记录。通知。138，第76条，第15页（2019年）。
理学硕士：65年第68季度 03B70号 2016年60月
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}和\textit{P.Gastin}，LIPIcs——莱布尼茨国际程序。通知。138，第76条，第15页（2019年；Zbl 07561720）
全文： 内政部 arXiv公司
曼弗雷德·德罗斯特;埃里克·保罗

加权MSO逻辑的Feferman-Vaugh分解定理。 （英语） Zbl 1528.03152号

Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。MFCS 2018，英国利物浦，2018年8月27日至31日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。117，第76条，第15页（2018年）。
理学硕士：03C13号机组 03B16号 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}和\textit{E.Paul}，LIPIcs——莱布尼茨国际程序。通知。117，第76条，第15页（2018；兹bl 1528.03152）
全文： 内政部
曼弗雷德·德罗斯特;特默尔库西亚;乔治·拉霍尼斯;沃尔夫冈·施莱纳

MK-模糊自动机和MSO逻辑。 （英语） Zbl 1483.68164号

Patricia Bouyer等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）256106-120（2017）。
理学硕士：65年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}等人，《电子》。程序。西奥。计算。科学。（EPTCS）256106-120（2017；Zbl 1483.68164）
全文： 链接
曼弗雷德·德罗斯特;斯特凡·杜克;迪诺·曼德里奥利;马蒂奥·普拉德拉

加权运算符优先语言。 （英语） Zbl 1441.68121号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。83，第31条，第15页（2017年）。
理学硕士：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}等人，LIPIcs——莱布尼茨国际程序。通知。83，第31条，第15页（2017年；Zbl 1441.68121）
全文： 内政部
曼弗雷德·德罗斯特;乔治·拉霍尼斯

加权线性动态逻辑。 （英语） 兹比尔1478.03065

Cantone，Domenico（ed.）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）226149-163（2016）。
理学硕士：03B70号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}和\textit{G.Rahonis}，电子。程序。西奥。计算。科学。（EPTCS）226149--163（2016；Zbl 1478.03065）
全文： arXiv公司 链接
帕瓦内·巴巴里;曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫

加权寄存器自动机和数据字上的加权逻辑。 （英语） Zbl 1482.68124号

Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9965, 370-384 (2016).
理学硕士：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{P.Babari}等人，Lect。注释计算。科学。9965370-384（2016；Zbl 1482.68124）
全文： 内政部
帕瓦内·巴巴里;曼弗雷德·德罗斯特

加权图像自动机和加权MSO逻辑的Nivat定理。 （英语） 兹比尔1423.68241

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2015年3月2日至6日在法国尼斯举行的2015年拉丁美洲旅游协会第九届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8977, 703-715 (2015).
理学硕士：65年第68季度 03B15号机组 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{P.Babari}和\textit{M.Droste}，莱克特。注释计算。科学。8977，703--715（2015；Zbl 1423.68241）
全文： 内政部
曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫

定时下推语言的逻辑特征。 （英语） Zbl 1466.68050号

Beklemishev，Lev D.（编辑）等人，《计算机科学——理论与应用》。2015年7月13日至17日，第十届俄罗斯国际计算机科学研讨会，CSR 2015，俄罗斯Listvyanka。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9139, 189-203 (2015).
理学硕士：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}和\textit{V.Perevoshchikov}，莱克特。注释计算。科学。9139，189--203（2015；Zbl 1466.68050）
全文： 内政部
曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫

加权定时下推自动机的逻辑。 （英语） Zbl 1465.68142号

Beklemishev，Lev D.（编辑）等人，《逻辑与计算领域II》。在尤里·古雷维奇75岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9300, 153-173 (2015).
理学硕士：65年第68季度 03B16号 05年3月 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}和\textit{V.Perevoshchikov}，莱克特。注释计算。科学。9300，153-173（2015年；兹比尔1465.68142）
全文： 内政部
曼弗雷德·德罗斯特;多琳·黑塞尔;福格勒、海科

树赋值幺半群上的加权无秩树自动机及其加权逻辑表征。 （英语） Zbl 1465.68141号

安德烈亚斯·马莱蒂（编辑），代数信息学。2015年9月1日至4日，第六届国际会议，CAI 2015，德国斯图加特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9270, 90-102 (2015).
理学硕士：65年第68季度 05年3月 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}等人，Lect。注释计算。科学。9270、90-102（2015年；Zbl 1465.68141）
全文： 内政部
曼弗雷德·德罗斯特;福格勒、海科

定量无上下文语言的Chomsky-Schützenberger定理。 （英语） Zbl 1315.68169号

发现的国际期刊。计算。科学。 25，第8期，955-969（2014）。
审核人：安德烈亚斯·马莱蒂（斯图加特）
理学硕士：65年第68季度 2012年第68季度 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}和\textit{H.Vogler}，国际期刊发现。计算。科学。25，第8号，955--969（2014；Zbl 1315.68169）
全文： 内政部
曼弗雷德·德罗斯特;比巴尔乔姆，邦迪特

强双单音体上的加权嵌套词自动机和逻辑。 （英语） Zbl 1310.68129号

发现的国际期刊。计算。科学。 25，第5期，641-666（2014）。
审核人：罗杰·维尔梅尔（蒙特勒）
理学硕士：65年第68季度 05年3月 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}和\textit{B.Pibaljommee}，国际期刊发现。计算。科学。25，第5号，641--666（2014；Zbl 1310.68129）
全文： 内政部
曼弗雷德·德罗斯特;多琳·戈策;斯特芬·梅克尔;英格玛·梅内克

赋值幺半群上的加权树自动机及其加权逻辑表征。 （英语） 兹比尔1331.68127

Kuich，Werner（编辑）等人，《计算机科学中的代数基础》。在西蒙·博扎帕里迪斯退休之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-24896-2/pbk）。计算机科学课堂讲稿7020，30-55（2011）。
理学硕士：65年第68季度 03B70号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}等人，Lect。注释计算。科学。7020，30--55（2011；Zbl 1331.68127）
全文： 内政部
曼弗雷德·德罗斯特;英格玛·梅内克

正则表达式的平均值和长期值。 （英语） Zbl 1297.68123号

Domaratzki，Michael（编辑）等人，《自动机的实现和应用》。2010年8月12日至15日，加拿大温尼伯CIAA 2010第15届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18097-2/pbk）。计算机科学课堂讲稿6482211-221（2011）。
理学硕士：65年第68季度 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}和\textit{I.Meinecke}，莱克特。注释计算。科学。6482211-221（2011年；兹bl 1297.68123）
全文： 内政部
曼弗雷德·德罗斯特;保罗·加斯丁

加权自动机和加权逻辑。 （英语） Zbl 1484.68081号

Droste，Manfred（编辑）等人，《加权自动机手册》。柏林：斯普林格。单声道。理论。计算。科学。，EATCS系列。，175-211 (2009).
理学硕士：65年第68季度 03B60号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}和\textit{P.Gastin}，in：加权自动机手册。柏林：斯普林格。175-211（2009年；Zbl 1484.68081）
全文： 内政部 链接
黄方平;曼弗雷德·德罗斯特;张国强

双组楚空间的一个单体范畴。 （英语） Zbl 1286.18002号

Chen，Yixiang（编辑）等，《第一届信息学、计算与软件基础国际会议论文集》（FICS 2008），华东师范大学，中国上海，2008年6月3-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记212，285-297（2008）。
理学硕士：18日第10天
PDF格式BibTeX公司 XML格式引用
\textit{F.-P.Huang}等人，《电子》。注释Theor。计算。科学。212285--297（2008；Zbl 1286.18002）
全文： 内政部
曼弗雷德·德罗斯特;卡琳·夸斯

加权时间自动机的Kleene-Schützenberger定理。 （英语） Zbl 1139.68031号

Amadio，Roberto（编辑），《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008，该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78497-5/pbk）。计算机科学课堂讲稿4962142-156（2008）。
理学硕士：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}和\textit{K.Quaas}，莱克特。注释计算。科学。4962、142--156（2008年；Zbl 1139.68031）
全文： 内政部
曼弗雷德·德罗斯特;迪特里赫·库斯克

几乎每个领域都是通用的。 （英语） Zbl 1316.68066号

Fiore，Marcelo（编辑），第23届编程语义数学基础会议论文集（MFPS XXIII），美国洛杉矶新奥尔良，2007年4月11-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记173，103-119（2007）。
理学硕士：68问题55 06B35号 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}和\textit{D.Kuske}，电子。注释Theor。计算。科学。173103-119（2007年；兹bl 1316.68066）
全文： 内政部
曼弗雷德·德罗斯特;乔治·拉霍尼斯

带折扣的加权自动机和加权逻辑。 （英语） Zbl 1139.68361号

Holub，Jan（编辑）等人，《自动机的实现和应用》。2007年7月16日至18日在捷克共和国布拉格举行的第十二届CIAA国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-76335-2/pbk）。计算机科学课堂讲稿4783，73-84（2007）。
理学硕士：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit｛M.Droste｝和\textit｛G.Rahonis｝，Lect。注释计算。科学。4783、73--84（2007年；Zbl 1139.68361）
全文： 内政部
曼弗雷德·德罗斯特;保罗·加斯丁

部分交换变量的可识别有理形式幂级数。 （英语） Zbl 1401.68215号

Degano，Pierpaolo（编辑）等人，《自动化，语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林：Springer-Verlag（ISBN 978-3-540-63165-1/pbk；978-3-540-69194-5/电子书）。计算机科学课堂讲稿1256682-692（1997）。
理学硕士：70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}和\textit{P.Gastin}，莱克特。注释计算。科学。1256、682--692（1997；Zbl 1401.68215）
全文： 内政部
曼弗雷德·德罗斯特;保罗·加斯丁

无自动同步的pomsets异步元胞自动机。 （英语） Zbl 1514.68150号

Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1119, 627-638 (1996).
理学硕士：68问题80 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}和\textit{P.Gastin}，莱克特。注释计算。科学。1119627-638（1996年；Zbl 1514.68150）
全文： 内政部
曼弗雷德·德罗斯特

并发幺半群上可识别语言的Kleene定理。 （英语） Zbl 1418.68138号

Abiteboul，Serge（编辑）等人，《自动化，语言和编程》。1994年7月11日至14日，以色列耶路撒冷，第21届国际学术讨论会，ICALP’94。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。820, 388-399 (1994).
理学硕士：68问题85 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}，莱克特。注释计算。科学。820388-399（1994年；Zbl 1418.68138）
全文： 内政部
费利佩·布拉乔;曼弗雷德·德罗斯特

从域到具有并发性的自动机。 （英语） Zbl 1418.68134号

Lingas，Andrzej（编辑）等人，《自动化，语言和编程》。第20届国际学术讨论会，ICALP 93，瑞典隆德，1993年7月5日至9日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。700, 669-681 (1993).
理学硕士：68问题85 18B20型 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Bracho}和\textit{M.Droste}，莱克特。注释计算。科学。700、669--681（1993年；Zbl 1418.68134）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件