RECURSIVELY UNSOLVABLE WORD PROBLEMS OF MODULAR LATTICES AND DIAGRAM-CHASING

被引：21

作者：

HUTCHINSON, G ^{[1
]}

机构：

[1] NIH, DIV COMP RES & TECHNOL, BETHESDA, MD 20014 USA

来源：

关键词：

D O I：

10.1016/0021-8693(73)90001-X

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：385 / 399

页数：15

共 12 条

[1]

COHN PM, 1965, UNIVERSAL ALGEBRA

[2]

Davis M., 1958, COMPUTABILITY UNSOLV

[3]

Freyd P., 1964, ABELIAN CATEGORIES I

[4] MODULAR LATTICES AND ABELIAN CATEGORIES [J].

HUTCHINSON, G .

[5]

Jonsson B., 1959, T AM MATH SOC, V92, P449, DOI 10.1090/S0002-9947-1959-0108459-5

[6]

Jonsson B., 1954, MATH SCAND, V2, P295, DOI [10.7146/math.scand.a-10416, DOI 10.7146/MATH.SCAND.A-10416]

[7]

MCCARTHY J, 1963, LISP15 PROGRAMMERS M

[8]

MCCARTHY J, 1963, COMPUTER PROGRAMMING

[9]

Mitchell B., 1965, PURE APPL MATH, V17

[10]

NEUMANN J, 1960, CONTINUOUS GEOMETRY