叶夫根尼·克鲁格洛夫
人员信息
优化列表
2010 – 2019
2013 【b1】 叶夫根尼·克鲁格洛夫 以下为:
叠加模理论。 萨尔州大学, 2013 2012 [j1] 叶夫根尼·克鲁格洛夫 , 克里斯托夫·魏登巴赫 以下为:
叠加决定了一阶逻辑片断的基本理论。 数学。 计算。 科学。 6 ( 4 ) 以下为: 427-456 ( 2012 ) 【c4】 阿诺德·菲茨克 , 叶夫根尼·克鲁格洛夫 , 克里斯托夫·魏登巴赫 以下为:
SUP(LA)中循环导数不变量的自动生成。 LPAR公司 2012 以下为: 197-211 2011 【c3】 安德烈亚斯·艾格斯 , 叶夫根尼·克鲁格洛夫 , 斯特凡·库普弗施米德 , 卡斯滕·谢布勒(Karsten Scheibler) , 蒂诺·泰格 , 克里斯托夫·魏登巴赫 以下为:
叠加模非线性算法。 FroCoS公司 2011 以下为: 119-134
2000 – 2009
2009 [c2] 恩斯特·奥尔特豪斯 , 叶夫根尼·克鲁格洛夫 , 克里斯托夫·魏登巴赫 以下为:
叠加模线性算术SUP(LA)。 FroCoS公司 2009 以下为: 84-99
1990 – 1999
1994 【c1】 德米特里·A·阿尔汉格尔斯基 , 迈克尔·德克蒂亚 , 叶夫根尼·克鲁格洛夫 , 伊尔米尔·库·穆西卡耶夫 , 米哈伊尔·泰兹林 以下为:
吉拉德线性逻辑Horn片段的并发问题。 LFCS公司 1994 以下为: 18-22