...的扩展：从归纳（Inductive）到余归纳（Coinductive）的扩展、从良基集（Well-Founded Set）到非良基集（Non-Well-Founded Set）、 12从代数（algebras）到余代数（Coalgebras）的扩展 。
基于12个网页-相关网页
In general, the work in my dissertation contains the following three points. First, it sketches the theoretical background, history, and recent research of non-well-founded set theory.
概括说来,本文的主要工作包括以下三个方面:第一,梳理了非良基集合论的理论背景、发展历史和研究现状,介绍了非良基集合在众多研究领域的广泛应用。
参考来源 - 非良基集与模态逻辑·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐