停止战争！

Остановите войну!

对于科学家来说：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

询问他人

曼弗雷德·库夫莱特纳

>主页 >珀森斯

人员信息

附属： 英国拉夫堡大学计算机科学系
隶属关系（前）： 德国斯图加特大学

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ijfcs/HenrikssonK23
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ijfcs/HenrikssonK23
维克托·亨利克森,曼弗雷德·库夫莱特纳:
FO的禁用模式²有限和无限单词的交替。发现的国际期刊。计算。科学。 34(2&3):183-224(2023)
2022
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictac/DiekertK22
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/DiekertK22
沃尔克·迪克特,曼弗雷德·库夫莱特纳:
可达性游戏和平价游戏。 ICTAC公司 2022:14-35
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/拉丁语/亨利克松K22
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/latin/HenrikssonK22
维克托·亨利克森,曼弗雷德·库夫莱特纳:
Conelikes和Ranker比较。拉丁语 2022:359-375
[i38]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2208-10121
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2208-10121
沃尔克·迪克特,曼弗雷德·库夫莱特纳:
可达性游戏和平价游戏。 CoRR公司 abs/2208.10121(2022)
[i37]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-220-02925
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-220-02925
曼弗雷德·库夫莱特纳:
Parikh定理的又一证明。 CoRR公司 abs/2210.02925(2022)
2021
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dlt/HenrikssonK21
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlt/HenrikssonK21
维克托·亨利克森,曼弗雷德·库夫莱特纳:
确定FO²有限词和无限词自动机的交替。分布式账本技术 2021:180-191
[公元36年]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2105-09291
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2105-09291
维克托·亨利克森,曼弗雷德·库夫莱特纳:
确定有限词和无限词自动机的FO2替换。 CoRR公司 abs/2105.09291(2021)
[i35]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2105-09346
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2105-09346
维克托·亨利克森,曼弗雷德·库夫莱特纳:
Conelikes和Ranker比较。 CoRR公司 abs/2105.09346(2021)
[i34]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2106-02571
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2106-02571
马西亚尔·盖特,曼弗雷德·库夫莱特纳:
替换下森林语言的包含问题。 CoRR公司 abs/2106.02571(2021)
2020
[i33]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2012-01309
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2012-01309
维克托·亨利克森,曼弗雷德·库夫莱特纳:
将FO2中的否定词嵌套在无限单词上。 CoRR公司 abs/2012.01309(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[公元21年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ita/FleischerK19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ita/Flescher K19
卢卡斯·弗莱舍,曼弗雷德·库夫莱特纳:
弱识别语素的复杂性。 RAIRO提奥。信息学应用。 53(1-2):1-17(2019)
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mst/FleischerK19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mst/FleischerK19
卢卡斯·弗莱舍,曼弗雷德·库夫莱特纳:
确定性有限自动机中的格林关系。理论计算。系统。 63(4):666-687(2019)
2018
[公元19年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mst/KufleitnerW18
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mst/KufleitnerW18
曼弗雷德·库夫莱特纳,托比亚斯·沃尔特:
量词的第二级——无限词上的交替层次。理论计算。系统。 62(三):467-480(2018)
[公元18年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mst/KufleitnerW18a
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mst/KufleitnerW18a
曼弗雷德·库夫莱特纳,简·菲利普·瓦赫特:
Trotter-Weil层次结构上Omega-Terms的单词问题。理论计算。系统。 62(三):682-738(2018)
[公元31年]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/FleischerK18
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/FleischerK18网站
卢卡斯·弗莱舍,曼弗雷德·库夫莱特纳:
测试Simon的一致性。 MFCS公司 2018:62:1-62:13
[公元30年]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/stasts/FleischerK18
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/stacs/FleischerK18
卢卡斯·弗莱舍,曼弗雷德·库夫莱特纳:
有限幺半群的交集问题。堆栈 2018:30:1-30:14
[i32]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1804-10459
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1804-10459
卢卡斯·弗莱舍,曼弗雷德·库夫莱特纳:
测试Simon的一致性。 CoRR公司 abs/1804.10459(2018)
2017
[公元17年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mst/FleischerKL17
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mst/Flescher KL17
卢卡斯·弗莱舍,曼弗雷德·库夫莱特纳,亚历山大·劳泽:
FO2交替层次结构的一半级别。理论计算。系统。 61(2):352-370(2017)
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csr/FleischerK17
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csr/FleischerK17
卢卡斯·弗莱舍,曼弗雷德·库夫莱特纳:
有限变换半群中的格林关系。企业社会责任 2017:112-125
[i31]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/FleischerK17
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/FleischerK17
卢卡斯·弗莱舍,曼弗雷德·库夫莱特纳:
有限变换半群中的格林关系。 CoRR公司 abs/1703.04941(2017)
[i30]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1711-08717
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1711-08717
卢卡斯·弗莱舍,曼弗雷德·库夫莱特纳:
有限幺半群的交集问题。 CoRR公司 abs/1711.08717(2017)
2016
【b4】
- 看法
  - 电子版@degruyter.com
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - books/daglib/0041476
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/daglib/0041476
沃尔克·迪克特,曼弗雷德·库夫莱特纳,格哈德·罗森伯格,乌尔里希·赫斯特兰夫:
离散代数方法-算术、密码学、自动机和群。德格鲁特 2016，国际标准图书编号978-3-11-041332-8第I-XII、1-342页
[公元16年]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DiekertK16
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DiekertK16
沃尔克·迪克特,曼弗雷德·库夫莱特纳:
局部除数技术综述。西奥。计算。科学。 610:13-23(2016)
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csr/KufleitnerW16
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csr/KufleitnerW16
曼弗雷德·库夫莱特纳,托比亚斯·沃尔特:
无限词上量词交替层次的第二级。企业社会责任 2016:223-236
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csr/KufleitnerW16a
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csr/KufleitnerW16a
曼弗雷德·库夫莱特纳,简·菲利普·瓦赫特:
Trotter-Weil层次结构上Omega-Terms的单词问题（扩展摘要）。企业社会责任 2016:237-250
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dcfs/FleischerK16
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dcfs/FleischerK16网站
卢卡斯·弗莱舍,曼弗雷德·库夫莱特纳:
弱识别形态的操作。 DCFS公司 2016:126-137
[公元25年]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/DiekertW16
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/DiekertW16
沃尔克·迪克特,阿图尔·杰兹,曼弗雷德·库夫莱特纳:
部分交换结构上的字方程解。伊拉克石油公司 2016:127:1-127:14
[i29]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/DiekertJK16
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/DiekertJK16
沃尔克·迪克特,阿图尔·杰兹,曼弗雷德·库夫莱特纳:
部分交换结构上的字方程解。 CoRR公司 abs/1603.02966(2016)
[第28条]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/FleischerK16
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/FleischerK16
卢卡斯·弗莱舍,曼弗雷德·库夫莱特纳:
弱识别形态的操作。 CoRR公司 abs/1603.05376(2016)
2015
[公元15年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ip/KarandikarKS15
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ipl/KarandikarKS15
Prateek Karandikar公司,曼弗雷德·库夫莱特纳,菲利普·施诺贝伦:
关于分段可测性的Simon同余指数。信息处理。莱特。 115(4):515-519(2015)
[公元14年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ita/KufleitnerW15
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ita/KufleitnerW15
曼弗雷德·库夫莱特纳,托比亚斯·沃尔特:
一阶逻辑中带有模谓词的一个量词交替。 RAIRO提奥。信息学应用。 49(1):1-22(2015)
[j13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jacm/DiekertKRW15
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jacm/DiekertKRW15
沃尔克·迪克特,曼弗雷德·库夫莱特纳,克劳斯·莱因哈特,托比亚斯·沃尔特:
常规语言与教会一致。美国临床医学杂志 62(5):39:1-39:20(2015)
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mst/DiekertK15
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mst/DiekertK15
沃尔克·迪克特,曼弗雷德·库夫莱特纳:
同步延迟有界的欧米伽有理表达式。理论计算。系统。 56(4):686-696(2015)
[公元24年]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/FleischerK15
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/FleischerK15
卢卡斯·弗莱舍,曼弗雷德·库夫莱特纳:
Omega-Regular语言上形态的高效算法。 FSTTCS公司 2015:112-124
[i27]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/KufletnerW15
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KufleitnerW15
曼弗雷德·库夫莱特纳,简·菲利普·瓦赫特:
Trotter-Weil层次结构上Omega-Terms的单词问题。 CoRR公司 abs/1509.05364(2015)
[i26]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/KufleitnerW15a
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KufleitnerW15a
曼弗雷德·库夫莱特纳,托比亚斯·沃尔特:
无限词上量词交替层次的第二级。 CoRR公司 abs/1509.06207(2015)
[i25]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/FleischerK15
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/FleischerK15
卢卡斯·弗莱舍,曼弗雷德·库夫莱特纳:
Omega-Regular语言上形态的高效算法。 CoRR公司 abs/1509.06215(2015)
2014
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csr/FleischerKL14文件
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csr/FleischerKL14
卢卡斯·弗莱舍,曼弗雷德·库夫莱特纳,亚历山大·劳泽:
FO2中的块产品和嵌套否定。企业社会责任 2014:176-189
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dcfs/Kufleitner14
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dcfs/Kufleitner14
曼弗雷德·库夫莱特纳:
无星语言和地方划分。 DCFS公司 2014:23-28
【c21】
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/stasts/HuschenbettK14号机组
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/stacs/HuschenbettK14网址
马丁·胡申贝特,曼弗雷德·库夫莱特纳:
Omega-Terms上的Ehrenfeucht-Fraísse Games。堆栈 2014:374-385
【i24】
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Kufleitner14
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Kufleitner14
曼弗雷德·库夫莱特纳:
无星语言和局部除数。 CoRR公司 abs/1408.2842(2014)
[第23条]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/DiekertK14
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/DiekertK14
沃尔克·迪克特,曼弗雷德·库夫莱特纳:
局部除数法综述。 CoRR公司腹肌/1410.6026(2014)
[i22]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/KufleitnerW14
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cor/KufleitnerW14
曼弗雷德·库夫莱特纳,简·菲利普·瓦赫特:
Omega-Terms上的双变量Ehrenfeucht-Fraisse游戏。 CoRR公司 abs/1411.0593(2014)
2013
【b3】
- 看法
  - 电子版@degruyter.com
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - books/daglib/0032838
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/daglib/0032838
沃尔克·迪克特,曼弗雷德·库夫莱特纳,格哈德·罗森伯格:
Mathematik-Zahlen und Zählen，Graphen und Verbände的磁盘元素。德格鲁伊特工作室,德格鲁特 2013，国际标准图书编号978-3-11-027767-8第I-XI页，1-246页
【b2】
- 看法
  - 电子版@degruyter.com
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - books/daglib/0032837
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/daglib/0032837
沃尔克·迪克特,曼弗雷德·库夫莱特纳,格哈德·罗森伯格:
Diskrete代数方法-算术、Kryptographie、Automaten和Gruppen。德格鲁伊特工作室,德格鲁特 2013，国际标准图书编号978-3-11-031260-7第I-XI页，1-318页
[公元20年]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/stacs/KufleitnerL13文件
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/stacs/KufleitnerL13网站
曼弗雷德·库夫莱特纳,亚历山大·劳瑟:
二元一阶逻辑中的量词交替是可决定的。堆栈 2013:305-316
【i21】
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/HuschenbettK13
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HuschenbettK13网址
马丁·胡申贝特,曼弗雷德·库夫莱特纳:
Omega-Terms上的Ehrenfeucht-Fraisse游戏。 CoRR公司 abs/1310.3195(2013)
[i20]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/KufleitnerW13
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cor/KufleitnerW13
曼弗雷德·库夫莱特纳,托比亚斯·沃尔特:
模谓词一阶逻辑中的一个量词交替。 CoRR公司 abs/1310.5043(2013)
2012
[公元11年]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/算法/FuzKMJ12
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/algorithmica/FouzKMJ12
马哈茂德·福兹,曼弗雷德·库夫莱特纳,博多·曼泰,尼玛·泽尼·贾罗米:
关于快速排序和Hoare查找的平滑分析。算法 62(3-4):879-905(2012)
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1208-0713
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1208-0713
曼弗雷德·库夫莱特纳,帕斯卡·韦尔:
关于FO中的逻辑层次结构²-可定义语言。日志。方法计算。科学。 8(三)(2012)
[公元9年]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/dmtcs/KufleitnerL12
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/dmtcs/KufleitnerL12
曼弗雷德·库夫莱特纳,亚历山大·劳泽:
通过词上的组合学实现R平凡单体和L平凡单体的连接。谨慎。数学。西奥。计算。科学。 14(1):141-146(2012)
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/fuin/DiekertKS12
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/DiekertKS12
沃尔克·迪克特,曼弗雷德·库夫莱特纳,本杰明·斯坦伯格:
克罗恩-罗兹定理和局部除数。芬丹。信息学 116(1-4):65-77(2012)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ijfcs/KufleitnerL12
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ijfcs/KufleitnerL12
曼弗雷德·库夫莱特纳,亚历山大·劳泽:
大约dot-Depth One。发现的国际期刊。计算。科学。 23(6):1323-1340(2012)
[j6]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/DiekertKW12
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DiekertKW12
沃尔克·迪克特,曼弗雷德·库夫莱特纳,帕斯卡·韦尔:
无星语言是Church-Rosser同余语言。西奥。计算。科学。 454:129-135(2012)
[第19条]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/KufleitnerW12
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/KufleitnerW12
曼弗雷德·库夫莱特纳,帕斯卡·韦尔:
FO2交替层次是可决定的。 CSL公司 2012:426-439
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csr/DiekertK12
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csr/DiekertK12
沃尔克·迪克特,曼弗雷德·库夫莱特纳:
欧米伽有理表达式中的有界同步延迟。企业社会责任 2012:89-98
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/DiekertKRW12
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/DiekertKRW12
沃尔克·迪克特,曼弗雷德·库夫莱特纳,克劳斯·莱因哈特,托比亚斯·沃尔特:
常规语言与教会一致。 ICALP（二） 2012:177-188
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/KufleitnerL12文件
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/KufleitnerL12
曼弗雷德·库夫莱特纳,亚历山大·劳泽:
单词上的逻辑片段格-（扩展摘要）。 ICALP（二） 2012:275-286
[c15]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/KufleitnerL12
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/KufleitnerL12网站
曼弗雷德·库夫莱特纳,亚历山大·劳瑟:
Trotter-Weil层次结构的连接级别是可决定的。 MFCS公司 2012:603-614
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wia/JahnKL12
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wia/JahnKL12
弗兰兹·扬,曼弗雷德·库夫莱特纳,亚历山大·劳泽:
正则理想语言及其布尔组合。 CIAA公司 2012:205-216
[i19]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1202-1148
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1202-1148
沃尔克·迪克特,曼弗雷德·库夫莱特纳,克劳斯·莱因哈特,托比亚斯·沃尔特:
常规语言是教会-罗素一致的。 CoRR公司腹肌/1202.1148(2012)
[i18]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1202-3355
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1202-3355
曼弗雷德·库夫莱特纳,亚历山大·劳泽:
单词上的逻辑片段格。 CoRR公司 abs/1202.3355(2012)
[i17]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1203-6152
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1203-6152
曼弗雷德·库夫莱特纳,帕斯卡·韦尔:
FO^2交替层次是可判定的。 CoRR公司 abs/1203.6152(2012)
[i16]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1204-4672
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1204-4672
曼弗雷德·库夫莱特纳,亚历山大·劳泽:
Trotter-Weil层次结构的连接级别是可决定的。 CoRR公司 abs/1204.4672(2012)
【i15】
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1204-5368
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1204-5368
曼弗雷德·库夫莱特纳,亚历山大·劳泽:
通过词上的组合学实现R平凡单体和L平凡单体的连接。 CoRR公司 abs/1204.5368(2012)
[第14条]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-112-6500
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-112-6500
曼弗雷德·库夫莱特纳,亚历山大·劳泽:
二元一阶逻辑中的量词交替是可决定的。 CoRR公司 abs/1212.6500(2012)
2011
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ijfcs/KufleitnerL11
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ijfcs/KufleitnerL11
曼弗雷德·库夫莱特纳,亚历山大·劳瑟:
部分订购双向BüChi Automata。发现的国际期刊。计算。科学。 22(8):1861-1876(2011)
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mst/DiekertK11
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mst/DiekertK11
沃尔克·迪克特,曼弗雷德·库夫莱特纳:
无限字上的一阶逻辑片段。理论计算。系统。 48(三):486-516(2011)
[第13条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/afl/KufleitnerL11
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/afl/KufleitnerL11网站
曼弗雷德·库夫莱特纳,亚历山大·劳泽:
围绕点深一。 AFL公司 2011:255-269
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KufleitnerL11
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KufleitnerL11
曼弗雷德·库夫莱特纳,亚历山大·劳泽:
无限单词上的点深一语言。低收入国家 2011:23-32
[第11条]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/stasts/KallasKL11
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/stacs/KallasKL11
雅库布·卡拉斯,曼弗雷德·库夫莱特纳,亚历山大·劳泽:
无限单词上具有后继词的一阶片段。堆栈 2011:356-367
[i13]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1101-0115
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1101-0115
雅库布·卡拉斯,曼弗雷德·库夫莱特纳,亚历山大·劳瑟:
无限单词上具有后继词的一阶片段。 CoRR公司 abs/1101.0115(2011)
[i12]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1101-4152
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1101-4152
曼弗雷德·库夫莱特纳,亚历山大·劳泽:
无限单词上的点深一语言。 CoRR公司 abs/1101.4152(2011)
[i11]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日志/corr/abs-1102-5013
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1102-5013
曼弗雷德·库夫莱特纳,亚历山大·劳泽:
有限词的康托拓扑。 CoRR公司 abs/1102.5013(2011)
[i10]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1103-1353
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1103-1353
曼弗雷德·库夫莱特纳,亚历山大·劳瑟:
围绕Dot-depth One。 CoRR公司 abs/1103.1353(2011)
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 轴颈/cor/abs-1111-1585
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-111-1585
沃尔克·迪克特,曼弗雷德·库夫莱特纳,本杰明·斯坦伯格:
克罗恩-罗兹定理和局部除数。 CoRR公司 abs/1111.1585(2011)
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1111-4300
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1111-4300
沃尔克·迪克特,曼弗雷德·库夫莱特纳,帕斯卡·韦尔:
“无星语言”是一种“丘吉尔-罗斯特一致”的语言。 CoRR公司 abs/1111.4300(2011)
2010
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dlt/DartoisKL10
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlt/DartoisKL10
吕克·达托伊斯,曼弗雷德·库夫莱特纳,亚历山大·劳泽:
无限单词排名-（扩展摘要）。语言理论的发展 2010:148-159
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wia/KufleitnerL10
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wia/KufleitnerL10
曼弗雷德·库夫莱特纳,亚历山大·劳瑟:
部分有序双向Büchi Automata。 CIAA公司 2010:181-190
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1005-0505
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1005-0505
吕克·达托伊斯,曼弗雷德·库夫莱特纳,亚历山大·劳泽:
无限单词排名。 CoRR公司 abs/1005.0505(2010)
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1006-2719
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1006-2719
曼弗雷德·库夫莱特纳,亚历山大·劳瑟:
部分订购双向Büchi Automata。 CoRR公司 abs/1006.2719(2010)

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cooch/FouzKMJ09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/coocoon/FouzKMJ09
马哈茂德·福兹,曼弗雷德·库夫莱特纳,博多·曼泰,尼玛·泽尼·贾罗米:
关于快速排序和Hoare查找的平滑分析。茧 2009:158-167
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/KufleitnerW09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/KufleitnerW09
曼弗雷德·库夫莱特纳,帕斯卡尔·威尔:
论FO2量词在词上的交替。 MFCS公司 2009:513-524
【c6】
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/stasts/DiekertK09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/stacs/DiekertK09
沃尔克·迪克特,曼弗雷德·库夫莱特纳:
无限字上的一阶逻辑片段。堆栈 2009:325-336
【c5】
- 看法
  - 电子版@stringology.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/stringology/Kufleitner09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/stringology/Kufleitner09
曼弗雷德·库夫莱特纳:
关于Burrows-Wheeler变换的双作用变异体。弦论 2009:65-79
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0904-2894
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0904-2894
曼弗雷德·库夫莱特纳,帕斯卡·韦尔:
论FO2量词对词的交替。 CoRR公司 abs/0904.2894(2009)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0904-3898
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0904-3898
马哈茂德·福兹,曼弗雷德·库夫莱特纳,博多·曼泰,尼玛·泽尼·贾赫罗米:
关于快速排序和Hoare查找的平滑分析。 CoRR公司 abs/0904.3898(2009)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-0906-2995
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0906-2995
沃尔克·迪克特,曼弗雷德·库夫莱特纳:
无限单词上的一阶逻辑片段。 CoRR公司 1995年9月6日(2009)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0908-0239
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0908-0239
曼弗雷德·库夫莱特纳:
关于Burrows-Wheeler变换的双射变量。 CoRR公司 abs/0908.0239(2009)
2008
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ijfcs/DiekertGK08
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ijfcs/DiekertGK08
沃尔克·迪克特,保罗·加斯廷,曼弗雷德·库夫莱特纳:
有限词上一阶逻辑小片段研究综述。发现的国际期刊。计算。科学。 19(三):513-548(2008)
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Kufleitner08
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Kufleitner08网站
曼弗雷德·库夫莱特纳:
工厂化森林的高度。 MFCS公司 2008:443-454
2007
[注2]
- 看法
  - 电子版@iospress.com
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/fuin/DiekertHK07
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/DiekertHK07
沃尔克·迪克特,马丁·霍斯,曼弗雷德·库夫莱特纳:
Mazurkiewicz痕迹的一级碎片。芬丹。信息学 80(1-3):1-29(2007)
[j1]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Kufleitner07
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Kufleitner07网站
曼弗雷德·库夫莱特纳:
多项式、时态逻辑片段和轨迹上的DA变化。西奥。计算。科学。 376(1-2):89-100(2007)
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dlt/DiekertK07
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlt/DiekertK07
沃尔克·迪克特,曼弗雷德·库夫莱特纳:
关于单词和Mazurkiewicz痕迹的一阶片段。语言理论的发展 2007:1-19
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0710-5130
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0710-5130
曼弗雷德·库夫莱特纳:
因子分解森林定理的一个证明。 CoRR公司 abs/0710.5130(2007)
2006
【b1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 博士/博士/库夫莱特纳2006
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/de/Kufleitner2006
曼弗雷德·库夫莱特纳:
Mazurkiewicz痕迹的逻辑片段：表达能力和代数特征。斯图加特大学，2006
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dlt/Kufleitner06公司
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlt/Kufleitner06网址
曼弗雷德·库夫莱特纳:
多项式、时间逻辑片段和迹上的多样性DA。语言理论的发展 2006:37-48
2002
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dlt/DiekertK02文件
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlt/DiekertK02
沃尔克·迪克特,曼弗雷德·库夫莱特纳:
关于二次跟踪方程的一个注记。语言理论的发展 2002:59-66

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。