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 条

[21] THE UNDECIDABILITY OF THE SEMIUNIFICATION PROBLEM
KFOURY, AJ
TIURYN, J
URZYCZYN, P
INFORMATION AND COMPUTATION, 1993, 102 (01) : 83 - 101
[22] Generalized canonical approach to deformation problem in gauge theories
I. L. Buchbinder
P. M. Lavrov
The European Physical Journal Plus, 138
[23] Generalized canonical approach to deformation problem in gauge theories
Buchbinder, I. L.
Lavrov, P. M.
EUROPEAN PHYSICAL JOURNAL PLUS, 2023, 138 (06):
[24] The Undecidability of the Domino Problem
Jeandel, Emmanuel
Vanier, Pascal
SUBSTITUTION AND TILING DYNAMICS: INTRODUCTION TO SELF-INDUCING STRUCTURES, 2020, 2273 : 293 - 357
[25] On the undecidability of the tiling problem
Kari, Jarkko
SOFSEM 2008: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2008, 4910 : 74 - 82
[26] UNDECIDABILITY OF THEORIES OF GROUPOIDS WITH AN EXTRA PREDICATE
GARFUNKEL, S
SCHMERL, JH
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 42 (01) : 286 - 289
[27] EFFECTIVELY RETRACTABLE THEORIES AND DEGREES OF UNDECIDABILITY
JONES, JP
JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (04) : 597 - &
[28] UNDECIDABILITY OF DOMINO PROBLEM
BERGER, R
MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY, 1966, (66) : 1 - &
[29] Undecidability of the unification and admissibility problems for modal and description logics
Wolter, Frank
Zakharyaschev, Michael
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2008, 9 (04)
[30] Undecidability of Higher-Order Unification Formalised in Coq
Spies, Simon
Forster, Yannick
CPP '20: PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, 2020, : 143 - 157

← 1 2 3 4 5 →