...
机译:Lambda微积分中半群和其他同余的表示
机译:用半群和群的同余格表示分布代数空间格。
机译:逆断面在正则半群上的同余表示
机译:每个D类的同余扩展到整个半群的同余的完全规则的半群
机译:原子Lambda演算:具有明确共享的类型化Lambda演算。
机译:半群上的全等式。
机译:E-逆半群上的群模糊同余和正则模糊子半群的格
机译:Lambda微积分中半群和其他同余的表示
机译:满足与张量算子相关的恒等式的表示。二维张量算子在表示下转换:(Lambda sub 4),(2 lambda sub 2)so(2N,C)和(4 lambda sub 1),(2 lambda sub 2)sp(2N,C)