Some varieties of equational logic

被引:0
|
作者
Plotkin, Gordon [1 ]
机构
[1] Univ Edinburgh, LFCS, Sch Informat, Edinburgh EH8 9YL, Midlothian, Scotland
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:150 / 156
页数:7
相关论文
共 50 条