...
机译:平代数和通用角逻辑从等式逻辑的翻译
机译:平代数和通用角逻辑从等式逻辑的翻译
机译:分类抽象代数逻辑:有序方程逻辑和可代数PoVarieties
机译:<! “键入=”leinedraw“/> InlinemediaObject>
机译:多元多态代数理论:语法,语义,翻译和方程逻辑
机译:多元代数超一致性:对通用逻辑的研究。
机译:在简单通用的分子平台上实现级联逻辑门和多数逻辑门
机译:隶属方程逻辑,多种方程逻辑,具有相等性的Horn逻辑和重写逻辑的反思
机译:代数逻辑与通用代数在计算机科学中的应用