A Mechanizable First-Order Theory of Ordinals (ext)
semanticscholar(2017)
摘要
This technical report documents the work done leading up to a paper on a theory of ordinal submitted to the Tableaux 2017 conference. It is an at the moment unpublished extension of the technical report [15].
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要