A note on spaces with locally countable weak - bases 具有局部可数弱基的空间的一个注记
Spaces with - locally countable weak bases 局部可数弱基的空间
Weakly terminating property in a restricted domain of a term rewriting system , one with structural induction , one with cover - set induction , and the third without induction , and describes their mechanization based on a meta - computation model for term rewriting systems - dynamic term rewriting calculus 基于覆盖集合归纳法的项重写系统弱基终止性证明的机械化论文提出一种关于一般化了的项重写系统弱基终止性,即,在特定领域的项重写系统弱终止性的形式自动证明方法。
Fairly important covers have point - countable bases , weakly bases , k - networks , sequence - neighbourhood networks and so on . fairly important mappings have quotient s - mappings , closed s - mappings , open mappings , open - and - closed mappings , com - pact - and - open mappings , perfect mappings , countable bi - quotient mappings , compact mappings 比较重要的覆盖有点可数基,弱基, k网,序列邻域网;比较重要的映射有商s映射,闭s映射,开映射,开闭映射,紧开映射,完备映射,可数双商映射,紧映射。