COMPLETE-SETS OF UNIFIERS AND MATCHERS IN EQUATIONAL THEORIES

被引：38

作者：

FAGES, F

HUET, G

机构：

来源：

THEORETICAL COMPUTER SCIENCE | 1986年 / 43卷 / 2-3期

关键词：

D O I：

10.1016/0304-3975(86)90175-1

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：189 / 200

页数：12

相关论文

共 54 条

[51]

[No title captured]

[52]

[No title captured]

[53]

[No title captured]

[54]

[No title captured]

← 1 2 3 4 5 6 →