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 条

[1] THE UNDECIDABILITY OF THE DA-UNIFICATION PROBLEM
SIEKMANN, J
SZABO, P
JOURNAL OF SYMBOLIC LOGIC, 1989, 54 (02) : 402 - 414
[2] THE UNDECIDABILITY OF THE 2ND-ORDER UNIFICATION PROBLEM
GOLDFARB, WD
THEORETICAL COMPUTER SCIENCE, 1981, 13 (02) : 225 - 230
[3] UNDECIDABILITY OF 3RD ORDER DYADIC UNIFICATION PROBLEM
BAXTER, LD
INFORMATION AND CONTROL, 1978, 38 (02): : 170 - 178
[4] Unification problem in equational theories
Kryvyi, SL
CYBERNETICS AND SYSTEMS ANALYSIS, 1997, 33 (06) : 874 - 899
[5] Unification problem in equational theories
S. L. Kryvyi
Cybernetics and Systems Analysis, 1997, 33 : 874 - 899
[6] Problem of unification in equational theories
Kibernetika i Sistemnyj Analis, (06): : 150 - 180
[7] Unification and Matching in Hierarchical Combinations of Syntactic Theories
Erbatur, Serdar
Kapur, Deepak
Marshall, Andrew M.
Narendran, Paliath
Ringeissen, Christophe
FRONTIERS OF COMBINING SYSTEMS, FROCOS 2015, 2015, 9322 : 291 - 306
[8] ON THE PROBLEM OF UNIFICATION OF GRAVITATION AND MATTER THEORIES
MUSIN, OF
IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII FIZIKA, 1990, 33 (05): : 98 - 100
[9] On Asymmetric Unification and the Combination Problem in Disjoint Theories
Erbatur, Serdar
Kapur, Deepak
Marshall, Andrew M.
Meadows, Catherine
Narendran, Paliath
Ringeissen, Christophe
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 2014, 8412 : 274 - 288
[10] The undecidability of the first-order theories of one step rewriting in linear canonical systems
Vorobyov, S
INFORMATION AND COMPUTATION, 2002, 175 (02) : 182 - 213

← 1 2 3 4 5 →