【摘 要】
：
In this paper,we introduce the definitions of B(o)hm-like trees and B(o)hm-trees,and give a sufficient and necessary condition for the convergence of B(o)hm-lik
【机 构】
：
State Key Laboratory for Novel Software Technology,Department of Computer Science and Technology,Nan
【出 处】
：
2012年全国理论计算机科学学术年会(NCTCS2012)
论文部分内容阅读
In this paper,we introduce the definitions of B(o)hm-like trees and B(o)hm-trees,and give a sufficient and necessary condition for the convergence of B(o)hm-like trees.It is shown that a B(o)hm-like tree is a B(o)hm-tree of a lambda term if and only if it is recursively enumerable and has finite many free variables,but the convergence of a B(o)hm-like tree is undecidable.
其他文献
In this paper,a new Granular Computing (GrC) model is proposed,which has advantages in dealing with data having multi-complex formats,to support the reasoning a
The Aspect-Oriented Programming provides a way of modularization of crosscuting concerns in software.In recent years,many researchers have developed some AOP la
Vote Control问题是社会学中的一个重要问题,本文主要研究 K-approval规则下Vote Control问题的复杂性.在 K-approval规则下,通过对Vote Control问题结构的仔细分析,本文给出
Context-awareness becomes an increasingly important concept in the development of ubiquitous systems.Applications and services,which run in these ubiquitous env
序列结构比对是生物信息学中用来预测新生物体序列的结构和功能的一种重要方法.为了识别新序列的结构同源性,序列结构比对不但要考虑序列的相似性,还要考虑残基之间相互作用
In image restoration of spatial domain,there need to make use of the available structure of image blurring matrix,and use diagonalization or convolution to subs
To solve the problem of defects detection in ultrasonic echo signal,a denoising method based on Independent Component Analysis is proposed.Firstly,the observed
超临界二氧化碳(C02)布雷顿循环技术由于具有循环效率高、结构紧凑等优点,近年来受到了广泛关注并得到了快速发展.介绍了该技术在舰船动力、核能发电、太阳能光热发电、燃煤
为了改善咪唑啉缓蚀剂水溶性差的问题,以三聚氯氰为母体,分别引入一个长的聚醚链和两个油酸咪唑啉结构,设计合成了一种将多类有效的缓蚀基团汇聚于一个结构中的缓蚀剂2,4-二
Christian Anfinsen proposed that the native states of proteins reside in the free energy minima.This “thermodynamic hypothesis” has been widely accepted as th