机译:名义代数与HSP定理
Department of Computer Science, Heriot-Watt University, Riccarton, Edinburgh EH14 4AS, UK;
universal algebra; equational logic; nominal algebra; HSP or birkhoff's theorem; nominal sets; nominal terms;
机译:名义代数和逻辑的有限和无限支持:名义完备性定理是免费的
机译:拟Hopf代数,弱Hopf代数和辫状Hopf代数上的双模代数的结构定理。
机译:使用名义伊莎贝尔(Isabelle)的Godel不完全性定理的机械证明
机译:C * -algebra值六角形B度量空间中的共同定点定理
机译:对拓扑,代数几何和表示理论的三个贡献:阿贝尔封面的同调有限性,代数椭圆同调理论和椭圆环境中的一峰定理。
机译:几何代数是否为贝尔的定理提供了漏洞?
机译:名义代数与Hsp定理
机译:Banachspaces中sigma-Complete布尔代数的Bicommutant定理