全部 标题 作者 关键词 摘要
Keywords: 可判定性,Rabin 树,归约,
Full-Text Cite this paper Add to My Lib
Z-型Rabin 树是Rabin 树的一种变体,它们与Rabin 树的主要区别在于不要求树根的存在,而只限制其中的极大枝与整数上的序同构。本文通过归约的方法证明,Z-型Rabin 树的一目二阶理论是可判定的。
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133