FIXPOINT

作品数：5被引量：0H指数：0
导出分析报告
相关领域：自动化与计算机技术更多>>
相关机构：厦门大学更多>>
相关期刊：《Wuhan University Journal of Natural Sciences》《Journal of Computer Science & Technology》《Science China(Technological Sciences)》《厦门大学学报（自然科学版）》更多>>
相关基金：国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Some Applications of Lawvere’s Fixpoint Theorem
《Frontiers of Philosophy in China》2019年第3期490-510,共21页LI Xi 
The famous diagonal argument plays a prominent role in set the ory as well as in the proof of undecidability results in computability the ory and incompleteness results in metamathematics.Lawvere(1969)brings to light ...
关键词：PARADOX FIXPOINT DIAGONALIZATION combinator 
Specification and Verification for Semi-Structured Data
《Wuhan University Journal of Natural Sciences》2006年第1期107-112,共6页CHEN Tao-lue HAN Ting-ting LU Jian 
Supported by the National Natural Sciences Foun-dation of China (60233010 ,60273034 ,60403014) ,863 ProgramofChina (2002AA116010) ,973 Programof China (2002CB312002)
Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the t...
关键词：semi structured data tree logic FIXPOINT model checking algorithm 
Declarative semantics of programming in residuated lattice-valued logic
《Science China(Technological Sciences)》2000年第5期481-494,共14页应明生 
We give two generalizations of Tarski’s fixpoint theorem in the setting of residuated lattices and use them to establish van Emdem-Kowalski’s least fixpoint semantics for residuated lattice-valued logic programs.
关键词：logic PROGRAMMING DECLARATIVE SEMANTICS residuated lattice FIXPOINT THEOREM COMPLETION of program. 
A Constructor-Based EI-Model Semantics ofEI-CTRS
《Journal of Computer Science & Technology》1995年第1期85-95,共11页王怀民 陈火旺 
This paper investigates the semantics of conditional term rewriting systemswith negation (denoted by EI-CTRS), called constructor-based EI-model se-mantics. The introduction of '≠' in EI-CTRS make EI-CTRS more diffic...
关键词：Conditional term rewriting model semantics NEGATION FIXPOINT CONSTRUCTOR 
程序变换的若干探讨
《厦门大学学报（自然科学版）》1988年第1期8-12,共5页王士铁 
本文试用不动点原理研究几种程序变换,讨论了一类二重递归的终止条件,并用之计算91函数与证明3x+1问题(Ⅰ)。
关键词：Fixpoint theory Recursive program Transformation 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部