THE UNDECIDABILITY OF THE UNIFICATION AND MATCHING PROBLEM FOR CANONICAL THEORIES

被引：0
|
作者：
HEILBRUNNER, S [1 ]
HOLLDOBLER, S [1 ]
机构：
[1] UNIV BUNDESWEHR MUNCHEN,D-8014 NEUBIBERG,FED REP GER
来源：
ACTA INFORMATICA | 1987年 / 24卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：157 / 171
页数：15
相关论文
共 50 条
12345