Institut fuer Informatik, Universitaet Augsburg Universitaetsstr. 14, D-86135 Augsburg, Germany;
机译:懒惰,单调树和概率Kleene代数的多关系模型
机译:克莱恩变得懒惰
机译:有限Kleene代数自由生成的MV代数
机译:懒惰的Kleene代数
机译:关系Kleene代数的Horn理论。
机译:弱伪互补拟Kleene代数的两个对偶
机译:懒惰,单码树和概率kleene代数的多层模型