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 条

[31] DECIDABILITY AND UNDECIDABILITY OF THEORIES WITH A PREDICATE FOR THE PRIMES
BATEMAN, PT
JOCKUSCH, CG
WOODS, AR
JOURNAL OF SYMBOLIC LOGIC, 1993, 58 (02) : 672 - 687
[32] EFFECTIVELY RETRACTABLE THEORIES AND DEGREES OF UNDECIDABILITY
JONES, JP
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (01): : 322 - &
[33] On Undecidability of Subset Theories of Some Unars
Karlov, B. N.
DOKLADY MATHEMATICS, 2024, 109 (02) : 112 - 116
[34] Elementary theories and hereditary undecidability for semilattices of numberings
Nikolay Bazhenov
Manat Mustafa
Mars Yamaleev
Archive for Mathematical Logic, 2019, 58 : 485 - 500
[35] UNIFICATION IN COMMUTATIVE THEORIES
BAADER, F
JOURNAL OF SYMBOLIC COMPUTATION, 1989, 8 (05) : 479 - 497
[36] Unification of mathematical theories
Wójtowicz K.
Foundations of Science, 1998, 3 (2) : 207 - 229
[37] A UNIFICATION OF BRIGHTNESS THEORIES
XIE, ZH
STOCKHAM, TG
HUMAN VISION, VISUAL PROCESSING, AND DIGITAL DISPLAY, 1989, 1077 : 124 - 131
[38] The undecidability of the generalized collatz problem
Kurtz, Stuart A.
Simon, Janos
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2007, 4484 : 542 - +
[39] Elementary theories and hereditary undecidability for semilattices of numberings
Bazhenov, Nikolay
Mustafa, Manat
Yamaleev, Mars
ARCHIVE FOR MATHEMATICAL LOGIC, 2019, 58 (3-4) : 485 - 500
[40] HEREDITARY UNDECIDABILITY OF SOME THEORIES OF FINITE STRUCTURES
WILLARD, R
JOURNAL OF SYMBOLIC LOGIC, 1994, 59 (04) : 1254 - 1262

← 1 2 3 4 5 →