×
作者ID: 安德烈·斯特凡“Andrei,ötefan”最近发表的zbMATH文章
发布日期: 安德烈·特凡;斯特凡·安德烈
编入索引的文档: 17出版物自1995年起
合著者: 12位合著者具有15联合出版物
105位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

7出版物有被引用12中的次11文件 引用人 年份
一种新的正则化单字母上下文无关文法的算法。 Zbl 1059.68052号
安德烈·特凡;萨尔瓦多·瓦莱里奥·卡瓦迪尼;魏恩根·钦
3
2003
关于科拉茨猜想。 Zbl 0959.11008号
安德烈·特凡;克里斯蒂安·马萨拉古
3
1998
自嵌入上下文无关文法和常规对应文法。 Zbl 1072.68050号
斯特凡·安德烈;魏恩根·钦;萨尔瓦多·瓦莱里奥·卡瓦迪尼
2
2004
通过反转分辨率计算可满足性。 Zbl 1099.68098号
安德烈·特凡
1
2004
关于Collatz问题的一些结果。 Zbl 1003.11005号
安德烈·特凡;曼弗雷德·库德莱克;拉杜·特凡·尼古列斯库
1
2000
计算多项式运行时属性。 Zbl 1159.68361号
休·安德森;邱小成;斯特凡·安德烈;比阿特丽斯·卢卡
1
2005
实时逻辑指定系统的有效验证和优化。 Zbl 1368.68178号
安德烈·特凡;Cheng,Albert Mo Kim(艾伯特·莫·金)
1
2009
实时逻辑指定系统的有效验证和优化。 兹比尔1368.68178
安德烈·特凡;Cheng,Albert Mo Kim(艾伯特·莫·金)
1
2009
计算多项式运行时属性。 Zbl 1159.68361号
休·安德森;邱小成;斯特凡·安德烈;比阿特丽斯·卢卡
1
2005
自嵌入上下文无关文法和常规对应文法。 Zbl 1072.68050号
斯特凡·安德烈;魏恩根·钦;萨尔瓦多·瓦莱里奥·卡瓦迪尼
2
2004
通过反转分辨率计算可满足性。 Zbl 1099.68098号
安德烈·特凡
1
2004
一种正则化单字母上下文无关语法的新算法。 Zbl 1059.68052号
安德烈·特凡;萨尔瓦多·瓦莱里奥·卡瓦迪尼;魏恩根·钦
3
2003
关于Collatz问题的一些结果。 Zbl 1003.11005号
安德烈·特凡;曼弗雷德·库德莱克;拉杜·特凡·尼古列斯库
1
2000
关于科拉茨猜想。 Zbl 0959.11008号
安德烈·特凡;克里斯蒂安·马萨拉古
3
1998

按年份列出的引文