马西耶·齐埃连凯维奇
人员信息
SPARQL查询
优化列表
2020年–今天
2022 [j1] 马西耶·齐埃连凯维奇 , 阿列克西·舒伯特 :
谓词直觉逻辑的自动机理论方法。 J.日志。 计算。 32 ( 三 ) : 554-580 ( 2022 ) 【c3】 马西耶·齐埃连凯维奇 :
小模型属性反映在游戏和自动化中。 LFCS公司 2022 : 364-375 2021 [i3] 马西耶·齐埃连凯维奇 :
小模型属性反映在游戏和自动机中。 CoRR公司 abs/2111.02998 ( 2021 )
2010 – 2019
2016 【c2】 马西耶·齐埃连凯维奇 , 阿列克西·舒伯特 :
谓词直觉逻辑的自动机理论方法。 洛普斯特 2016 : 345-360 [i2] 马西耶·齐埃连凯维奇 , 阿列克西·舒伯特 :
谓词直觉逻辑的自动机理论方法。 CoRR公司 abs/1608.05698 ( 2016 ) 2015 【c1】 马西耶·齐埃连凯维奇 , 杰切克·克尔扎斯茨(Jacek Chrzaszcz) , 阿列克西·舒伯特 :
Java循环主要是多项式。 SOFSEM公司 2015 : 603-614 2014 [i1] 马西耶·齐埃连凯维奇 , 阿列克西·舒伯特 , 杰切克·克尔扎斯茨(Jacek Chrzaszcz) :
在多重指数写一次图灵机上。 CoRR公司 abs/1407.7592 ( 2014 )