×
J.西克曼。;Szabó，P。

（D_A）-统一问题的不可判定性。 （英语） Zbl 0701.03020号

J.塞姆。日志。 54，编号2402-414（1989）.
通过对Hilbert第十个问题的简化，证明了两个函数理论的统一问题，其中一个函数具有分配公理和结合公理（加上一些常数）。
审核人：G.薄荷

引用于8文件

MSC公司：

03天35分 句子集的不确定性和程度
68T99型 人工智能

关键词：

统一问题;简化为希尔伯特第十问题
PDF格式BibTeX公司 XML格式引用
\textit{J.Siekmann}和\textit{P.Szabó}，J.Symb。日志。54，第2号，402--414（1989；Zbl 0701.03020）
全文： 内政部

参考文献：

[1] 内政部：10.1007/BF02328450·Zbl 0626.68069号 ·doi:10.1007/BF02328450
[2] 统一理论（1986）
[3] 机器智能7 pp 73–（1972）
[4] 纳赫里赫滕·冯·德·科尼格尔（Nachrichten von der Königl）。Gesellschaft der Wissenschaften zu Göttingen，Mathematisch-physikalische Klasse第253-（1900）页
[5] 泛代数（1979）
[6] 内政部：10.1016/0304-3975（81）90040-2·Zbl 0457.03006号 ·doi:10.1016/0304-3975（81）90040-2
[7] 内政部：10.1016/0304-3975（86）90175-1·Zbl 0615.03002号 ·doi:10.1016/0304-3975（86）90175-1
[8] 内政部：10.2307/2318447·Zbl 0277.02008 ·doi:10.2307/2318447
[9] 泛代数课程（1981）·Zbl 0478.08001号
[10] 内政部：10.1007/3-540-15976-2_1·doi:10.1007/3-540-15976-2_1
[11] DOI:10.1007/BF02575010·Zbl 0624.20039号 ·doi:10.1007/BF02575010
[12] 内政部：10.1007/3-540-15976-2_20·文件编号：10.1007/3-540-15976-2_20
[13] 内政部：10.1007/3-540-16780-3_114·doi:10.1007/3-540-16780-314
[14] Doklady Akademii Nauk SSSR 191第279页–（1970）
[15] Doklady Akademii Nauk SSSR 233第287页–（1977年）
[16] 符号计算杂志
[17] 抽象代数中的计算问题（牛津大学学报，1967年，第263页-（1970）
[18] 最小和完整的单词统一（1985）
[19] 形式语言理论（proceedings，Santa Barbara，California，1979 pp 349–（1980））
[20] 内政部：10.1145/322217.32230·Zbl 0458.68007号 ·doi:10.1145/322217.32230
[21] DOI:10.1016/S0019-9958（73）90301-X·Zbl 0257.02038号 ·doi:10.1016/S0019-9958（73）90301-X
[22] Doklady Akademii Nauk SSSR 156第749页–（1964年）
[23] 内政部：10.1145/321420.321429·Zbl 0157.02501号 ·doi:10.1145/321420.321429
[24] 字符串统一（1975）
[25] 内政部：10.1145/321250.321253·Zbl 0139.12303号 ·数字对象标识代码：10.1145/321250.321253
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。