×
作者ID: 劳瑟·亚历山大最近由“Lauser,Alexander”撰写的zbMATH文章
发布日期: 亚历山大·劳瑟
外部链接: MGP公司
已编制索引的文档: 13出版物自2010年以来
合著者: 5位合著者具有13联合出版物
31位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

11出版物有被引用3421文件 引用人 年份
Trotter-Weil层次结构的连接级别是可确定的。 Zbl 1365.68335号
曼弗雷德·库夫莱特纳;亚历山大·劳瑟
6
2012
无限单词上具有后继词的一阶片段。 兹比尔1230.03044
贾库布·卡拉斯;曼弗雷德·库夫莱特纳;亚历山大·劳瑟
4
2011
大约是一点。 Zbl 1308.68071号
曼弗雷德·库夫莱特纳;亚历山大·劳瑟
4
2012
二元一阶逻辑中带后继的量词交替是可判定的。 Zbl 1354.03006号
曼弗雷德·库夫莱特纳;亚历山大·劳瑟
4
2013
半衰期{FO}_2\)交替层次结构。 Zbl 1436.03215号
卢卡斯·弗莱舍;曼弗雷德·库夫莱特纳;亚历山大·劳瑟
4
2017
部分有序双向Büchi自动机。 Zbl 1251.68134号
曼弗雷德·库夫莱特纳;亚历山大·劳瑟
2011
通过词上的组合,(R)-平凡和(L)-平凡幺半群的变种的联接。 Zbl 1283.68275号
曼弗雷德·库夫莱特纳;亚历山大·劳瑟
2012
大约是一点。 Zbl 1341.68098号
曼弗雷德·库夫莱特纳;亚历山大·劳瑟
2
2011
在\(\mathrm{FO}^{2}\)中阻止积和嵌套否定。 Zbl 1433.03099号
卢卡斯·弗莱舍;曼弗雷德·库夫莱特纳;亚历山大·劳瑟
2
2014
对无限单词进行排名(扩展摘要)。 Zbl 1250.03062号
达图瓦,吕克;曼弗雷德·库夫莱特纳;亚历山大·劳瑟
1
2010
单词上的逻辑片段的格(扩展抽象)。 Zbl 1433.03101号
曼弗雷德·库夫莱特纳;亚历山大·劳瑟
1
2012
半衰期{FO}_2\)交替层次结构。 Zbl 1436.03215号
卢卡斯·弗莱舍;曼弗雷德·库夫莱特纳;亚历山大·劳瑟
4
2017
在\(\mathrm{FO}^{2}\)中阻止积和嵌套否定。 Zbl 1433.03099号
卢卡斯·弗莱舍;曼弗雷德·库夫莱特纳;亚历山大·劳瑟
2
2014
二元一阶逻辑中带后继的量词交替是可判定的。 Zbl 1354.03006号
曼弗雷德·库夫莱特纳;亚历山大·劳瑟
4
2013
Trotter-Weil层次结构的连接级别是可确定的。 Zbl 1365.68335号
曼弗雷德·库夫莱特纳;亚历山大·劳瑟
6
2012
大约是一点。 Zbl 1308.68071号
曼弗雷德·库夫莱特纳;亚历山大·劳瑟
4
2012
通过词上的组合,(R)-平凡和(L)-平凡幺半群的变种的联接。 Zbl 1283.68275号
曼弗雷德·库夫莱特纳;亚历山大·劳瑟
2012
单词上的逻辑片段格(扩展抽象)。 兹比尔1433.03101
曼弗雷德·库夫莱特纳;亚历山大·劳瑟
1
2012
无限单词上具有后继词的一阶片段。 Zbl 1230.03044号
Jakub卡拉斯;曼弗雷德·库夫莱特纳;亚历山大·劳瑟
4
2011
部分有序双向Büchi自动机。 Zbl 1251.68134号
曼弗雷德·库夫莱特纳;亚历山大·劳瑟
2011
大约是一点。 Zbl 1341.68098号
曼弗雷德·库夫莱特纳;亚历山大·劳瑟
2
2011
无限单词排名(扩展摘要)。 Zbl 1250.03062号
吕克·达托伊斯;曼弗雷德·库夫莱特纳;亚历山大·劳瑟
1
2010

按年份列出的引文