文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
L. Rudak
发表
A completeness theorem for weak equational logic
L. Rudak, 1983 .
Algebraic characterization of conflict-free varieties of partial algebras
L. Rudak, 1993 .
On Höft's characterization of weak model classes
P. Burmeister, F. Rosselló, L. Rudak, 1995 .