机译:标称(通用)代数:具有名称和绑定的方程式逻辑
Department of Computer Science, Heriot-Watt University, Riccarton, Edinburgh EH14 4AS, UK;
Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, P.O. Box 513, 5600 MB Eindhoven, The Netherlands;
universal algebra; equational logic; nominal techniques; names; binding;
机译:平代数和通用角逻辑从等式逻辑的翻译
机译:名义逻辑,名称和绑定的一阶理论
机译:名义方程逻辑中的绑定
机译:名义逻辑:名称和绑定的一阶理论
机译:多元代数超一致性:对通用逻辑的研究。
机译:Maple中微分-代数方程组的初值问题
机译:名义逻辑,名称和绑定的一阶理论
机译:代数逻辑与通用代数在计算机科学中的应用