×

兹马思-数学第一资源

奥奇,约翰内斯

计算距离:
作者ID: 欧茨·约翰内斯 “Oetsch,Johannes”最近发表的zbMATH文章
发布为: 奥奇,约翰内斯
编制索引的文档: 15种出版物自2008年以来,包括第1册

按年份列出的出版物

zbMATH公开赛中包含的引文

9出版物有被引用24时间17文件 引用人
捕捉大毒蛇:调试非地面应答机程序。 Zbl公司 1213.68182
奥奇,约翰内斯;Pü你好,Jörg公司;汤姆皮茨,汉斯
8
2010
逐步通过答案集程序。 Zbl公司 1327.68068
奥奇,约翰内斯;Pü你好,Jörg公司;汤姆皮茨,汉斯
6
2011
答案集程序的逐步调试。 Zbl公司 1425.68053
奥奇,约翰内斯;Pü你好,Jörg公司;汤姆皮茨,汉斯
2
2018
描述逻辑程序的逐步调试。 Zbl公司 1357.68039
奥奇,约翰内斯;Pü你好,Jörg公司;汤姆皮茨,汉斯
2
2012
答案集语义下的程序对应:非基情况。 Zbl公司 1185.68173
奥奇,约翰内斯;汤姆皮茨,汉斯
2
2008
增量SAT和QBF解算器的自动基准测试。 Zbl公司 06528781
呃,呃;洛辛,弗洛里安;奥奇,约翰内斯
1
2015
声明式程序设计与知识管理的应用。第19届国际会议,2011年INAP,第25届逻辑编程研讨会,2011年9月28日至30日,奥地利维也纳,2011年。 Zbl公司 1320.68029
汤姆皮茨,汉斯(编辑);Abreu,萨尔瓦多(编辑);奥奇,约翰尼斯(编辑);Pü你好,Jörg(编辑);塞佩尔,迪特玛(编辑);Umeda,Masanobu(编辑);沃尔夫,阿明(编辑)
1
2013
具有析取的抽象约束程序的FLP式答案集语义。 Zbl公司 1281.68150
奥奇,约翰内斯;Pü你好,Jörg公司;汤姆皮茨,汉斯
1
2012
三值逻辑的Gentzen型反驳系统及其在证明强等价性中的应用。 Zbl公司 1327.03018
奥奇,约翰内斯;汤姆皮茨,汉斯
1
2011
答案集程序的逐步调试。 Zbl公司 1425.68053
奥奇,约翰内斯;Pü你好,Jörg公司;汤姆皮茨,汉斯
2
2018
增量SAT和QBF解算器的自动基准测试。 Zbl公司 06528781
埃格利,乌韦;洛辛,弗洛里安;奥奇,约翰内斯
1
2015
声明式程序设计与知识管理的应用。第19届国际会议,2011年INAP,第25届逻辑编程研讨会,2011年9月28日至30日,奥地利维也纳,2011年。 Zbl公司 1320.68029
汤姆皮茨,汉斯(编辑);Abreu,萨尔瓦多(编辑);奥奇,约翰尼斯(编辑);Pü你好,Jörg(编辑);塞佩尔,迪特玛(编辑);Umeda,Masanobu(编辑);沃尔夫,阿明(编辑)
1
2013
描述逻辑程序的逐步调试。 Zbl公司 1357.68039
奥奇,约翰内斯;Pü你好,Jörg公司;汤姆皮茨,汉斯
2
2012
具有析取的抽象约束程序的FLP式答案集语义。 Zbl公司 1281.68150
奥奇,约翰内斯;Pü你好,Jörg公司;汤姆皮茨,汉斯
1
2012
逐步通过答案集程序。 Zbl公司 1327.68068
奥奇,约翰内斯;Pü你好,Jörg公司;汤姆皮茨,汉斯
6
2011
三值逻辑的Gentzen型反驳系统及其在证明强等价性中的应用。 Zbl公司 1327.03018
奥奇,约翰内斯;汤姆皮茨,汉斯
1
2011
捕捉大毒蛇:调试非地面应答机程序。 Zbl公司 1213.68182
奥奇,约翰内斯;Pü你好,Jörg公司;汤姆皮茨,汉斯
8
2010
答案集语义下的程序对应:非基情况。 Zbl公司 1185.68173
奥奇,约翰内斯;汤姆皮茨,汉斯
2
2008

按年份列出的引文