...
机译:名义自动机的Kleene定理
Kleene TheoremNominal automataBracket Algebra;
机译:加权树自动机的树值定理的Kleene定理
机译:加权定时自动机的Kleene-Schutzenberger定理
机译:分布多算子半群加权树自动机的Kleene定理。
机译:在分布式字母表上的自由选择自动机的Kleene定理
机译:关系Kleene代数的Horn理论。
机译:弱伪互补拟Kleene代数的两个对偶
机译:加权Ω推动自动机的Kleene定理
机译:走向自动机的同调代数I:1。抽象自动机类别的表示和完备性定理