机译:名义Kleene代数的完备性和不完备性
Cornell Univ, Dept Comp Sci, Ithaca, NY 14853 USA;
Univ Penn, CIS Dept, Philadelphia, PA 19104 USA;
UCL, Dept Comp Sci, London WC1E 6BT, England;
Kleene algebra; Nominal sets; Programming logic;
机译:名义Kleene代数的形式探索
机译:名义代数和逻辑的有限和无限支持:名义完备性定理是免费的
机译:Kleene-同构σ-具有产品的完全MV-代数是同构的
机译:标称克莱因代数的完备性和不完备性
机译:关系Kleene代数的Horn理论。
机译:弱伪互补拟Kleene代数的两个对偶
机译:名义Kleene代数的完备性和不完备性