全部 标题 作者
关键词 摘要

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

查看量下载量

相关文章

更多...
软件学报  1996 

u-循环项与易项*

, PP. 178-183

Keywords: u-循环项,易项.tacopini定理.

Full-Text   Cite this paper   Add to My Lib

Abstract:

本文引进了u-循环的概念,并证明了所有u-循环项都是易项.从而刻画了一类易项的归约性质,这对于研究停机问题具有相当意义.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133