论证理论
等价(形式语言)
语义学(计算机科学)
计算机科学
表征(材料科学)
逻辑等价性
认识论
数学
域代数上的
理论计算机科学
纯数学
程序设计语言
哲学
纳米技术
材料科学
作者
Ringo Baumann,Stefan Woltran
标识
DOI:10.1093/logcom/exu010
摘要
Journal Article The role of self-attacking arguments in characterizations of equivalence notions Get access Ringo Baumann, Ringo Baumann Intelligent Systems Department, Computer Science Institute, Augustusplatz 10, 04109 Leipzig, Germany. E-mail: baumann@informatik.uni-leipzig.de Search for other works by this author on: Oxford Academic Google Scholar Stefan Woltran Stefan Woltran Institute of Information Systems, Database and Artificial Intelligence Group 184/2, Favoritenstrasse 9-11, A-1040 Vienna, Austria. E-mail: woltran@dbai.tuwien.ac.at Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 26, Issue 4, August 2016, Pages 1293–1313, https://doi.org/10.1093/logcom/exu010 Published: 13 February 2014 Article history Received: 31 January 2014 Published: 13 February 2014
科研通智能强力驱动
Strongly Powered by AbleSci AI