kleene

An Induced Algebra on a Kind of Algebras and Generalized Kleene-dienes Ternary Logic System

一类代数上的诱导代数及广义Kleene-Dienes三值系统

互联网摘选

He had developed a formalism called the 'lambda-calculus' and, with the logician Stephen Kleene, had discovered that this formalism could be used to translate all the formulae of arithmetic into a standard form.

丘奇提出了一个叫作“λ算子”的模型注，逻辑学斯蒂芬·克林发现，这个模型可以将所有的算术公式变形为标准形式。

互联网摘选

Triple ⅰ Method in Parametric Kleene's Systems

参数Kleene系统中的广义三-I算法

互联网摘选

As it is required in mathematical logic, the importance of theory of kleene algebras is obviously.

由于逻辑学研究的需要，Kleene代数理论的重要性已越来越明显。

互联网摘选

Of these, the logic paper represented a small development of Kleene's ideas.

其中，逻辑论文是在克林的基础上提出一些新观点。

互联网摘选

Classification and Representation of Kleene-Stone Algebras

Kleene-Stone代数的分类及其表示

互联网摘选

A Condition of the Kleene Algebra as a Direct Product

Kleene代数有直积分解的一个条件

互联网摘选

Theory of generalized tautology in sub-algebras of revised Kleene system

修正的Kleene系统中子代数的广义重言式理论

互联网摘选

Gdel had suggested it, and it had been taken up by Kleene.

哥德尔提出了这个想法，而且被克林采用，

互联网摘选

The Essence on Kleene Closure and Relative Problems

Kleene闭包的实质和有关问题

互联网摘选

So he studied Church's work from the papers which he and S.C. Kleene had produced in 1933 and 1935, and sketched out the required demonstration in an appendix to the paper which was finished on 28 August.

λ算子表达式。因此，艾伦研究了丘奇和S.C.克林1933年和1935年的论文，并于8月28日完成了论文的附录，来扩展上述必需的证明。

互联网摘选

September 9 ( Wednesday)... Alan Turing came... He has come for a farewell visit before going out to America for 9 months ( Princetown) to study under great authorities on his subject: Godel ( Warsaw) Alonso Church and Kleene.

9月9日（星期三）……艾伦·图灵来了……他过来道别，要去美国普林斯顿九个月，与几位顶尖学者一起研究他的课题，哥德尔，阿隆佐·丘奇，还有克林。

互联网摘选

A key problem in this process is that a Kleene expression cannot be rewritten using mapping graph directly. To handle this problem, statistical information of path instances is gathered to expand Kleene expressions.

该过程中的一个关键问题是Kleene表达式不能直接利用映射图重写，为此，提出了利用路径实例的统计信息来扩展Kleene表达式的算法。

互联网摘选