机译:非终结的代数概念:Ω和幂等半环中的发散
Institut fuer Informatik. Universitaet Augsburg, 86135 Augsburg. Germany;
rnDepartment of Computer Science, University of Sheffield, United Kingdom;
idempotent semirings; modal semirings; nontermination; recursion and corecursion; omega; divergence;
机译:关于半模式对顽固性幂分裂划分半纤维和链MV-leamirits的重点
机译:各种乘幂等式子集的子格中的伪补码
机译:关于k-scalial semiring的几乎幂等物质产生的子
机译:与幂等半环和域半环等效的代数上下文类别
机译:Lie代数和高级类型的根系统的表示对合半拟仿射截断的表示。
机译:缩回:有限链的内同半环的幂等元素
机译:非终止的代数概念:Ω和幂等半环中的发散