良基关系相关论文
并发程序的不变式验证对理解程序和提高程序的正确性具有重要意义。以一种区间时序逻辑程序设计语言Framed Tempura为研究对象，给出......
本文定义了二型序数的概念，并且在聚合公理系统ｚｆｃ上讨论了它们的某些性质，证明了二型序数满足极小元定理和超限归纳原理，由此得出二型序......
探讨广义归纳法对程序性质的证明能力，特别是良基关系的构造和恰当的选择对减少证明义务的作用，并通过实例加以证明。......
