全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
-  2017 

Z-型Rabin 树理论的可判定性
Decidability of the Monadic Theory of Z-Rabin Trees

Keywords: 可判定性,Rabin 树,归约,

Full-Text   Cite this paper   Add to My Lib

Abstract:

Z-型Rabin 树是Rabin 树的一种变体,它们与Rabin 树的主要区别在于不要求树根的存在,而只限制其中的极大枝与整数上的序同构。本文通过归约的方法证明,Z-型Rabin 树的一目二阶理论是可判定的。

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133