马丁·胡申贝特
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2023 [i5] 亚历山大·伯纳 , 索菲亚·法罗 , 雷米·海默尔 , 马丁·胡申贝特 , 莫里茨·基弗 , 安德烈亚斯·洛赫比勒 , 尤西·梅基 , 弗朗西斯科·马佐利 , 西蒙·迈尔 , 尼尔·米切尔 , 拉特科·G·韦普雷克 :
Daml:用于安全自动化现实世界多方业务工作流的智能合同语言。 CoRR公司 abs/2303.03749 ( 2023 )
2010 – 2019
2017 【j4】 马丁·胡申贝特 , 亚历山大·卡尔佐夫 , 菲利普·施利希特 :
顺序自动结构的泵送。 计算。 6 ( 2 ) : 125-164 ( 2017 ) 2016 【b1】 马丁·胡申贝特 :
自动线性订单的模型理论复杂性。 德国伊勒梅瑙理工大学, 2016 ,国际标准图书编号 978-3-86360-127-0 ,第1-228页 2014 【c7】 马丁·胡申贝特 , 迪特里希·库斯克 , 乔治·泽采 :
队列操作的单体。 MFCS(1) 2014 : 340-351 【c6】 马丁·胡申贝特 , 曼弗雷德·库夫莱特纳 :
Omega-Terms上的Ehrenfeucht-Fraísse Games。 STACS公司 2014 : 374-385 [i4] 马丁·胡申贝特 , 迪特里希·库斯克 , 乔治·泽采 :
队列操作的幺半群。 CoRR公司 abs/1404.5479 ( 2014 ) 2013 [j3] 马丁·胡申贝特 , 亚历山大·卡措 , 刘嘉谋 , 马库斯·洛伊 :
树-自动修好的树。 日志。 方法计算。 科学。 9 ( 2 ) ( 2013 ) [注2] 马丁·胡申贝特 :
定量分布式系统和多值逻辑的模型。 国际期刊计算。 数学。 90 ( 6 ) : 1223-1246 ( 2013 ) 【c5】 马丁·胡申贝特 , 刘嘉谋 :
多色拉姆齐序数理论。 MFCS公司 2013 : 559-570 【c4】 马丁·胡申贝特 :
树自动线性排序的排名。 STACS公司 2013 : 586-597 [i3] 马丁·胡申贝特 , 曼弗雷德·库夫莱特纳 :
Omega-Terms上的Ehrenfeucht-Fraisse游戏。 CoRR公司 abs/1310.3195 ( 2013 ) 2012 [c3] 马丁·胡申贝特 :
树自动分散线性排序的词自动性是可决定的。 CiE公司 2012 : 313-322 [i2] 马丁·胡申贝特 :
树自动分散线性排序的词自动性是可决定的。 CoRR公司 abs/1201.5070 ( 2012 ) [i1] 马丁·胡申贝特 :
树自动线性排序的排名。 CoRR公司 abs/1204.3048 ( 2012 ) 2011 [j1] 马丁·胡申贝特 :
有界格上迹级数的Kleene-Schützenberger定理。 芬丹。 信息学 112 ( 2-3 ) : 171-191 ( 2011 ) 【c2】 马丁·胡申贝特 :
定量分布式系统和多值逻辑模型。 拉丁美洲旅游协会 2011 : 310-322 2010 【c1】 马丁·胡申贝特 :
有界格上迹级数的Kleene-Schützenberger定理。 NCMA公司 2010 : 99-111
![](https://dblp.org/img/cog.dark.24x24.png)