机译:可表示域代数的公理化性
Department of Computer Science, University College London, Cower Street, London WC1E 6BT, UK;
Department of Computer Science and Information Systems, Birkbeck College, University of London, Malet Street, London WC1E 7HX, UK;
domain algebras; relation algebras; finite axiomatizability;
机译:整体封闭域的理论不是有限公理的
机译:关于C * -algebras作为操作员系统的公理性
机译:关于全级通用代数的全级副亚类的相称公正的格子
机译:定量代数的公理化
机译:关于自动代数方程理论的有限公理化。
机译:零代数域中的ZEROS LIE的多项式的代数刻画
机译:可表示域代数的axiomatizability