Fred Galvin. Reduced products, Horn sentences, and decision problems. Bulletin of the American Mathematical Society, vol. 73 (1967), pp. 59–64.

Arnold Oberschelp

doi:10.2307/2270355

Fred Galvin. Reduced products, Horn sentences, and decision problems. Bulletin of the American Mathematical Society, vol. 73 (1967), pp. 59–64.

Journal of Symbolic Logic ◽

10.2307/2270355 ◽

1968 ◽

Vol 33 (3) ◽

pp. 477-477

Author(s):

Arnold Oberschelp

Keyword(s):

American Mathematical Society ◽

Decision Problems ◽

Mathematical Society ◽

Reduced Products ◽

Horn Sentences

Download Full-text

H. Jerome Keisler. Reduced products and Horn classes. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 307–328.

Journal of Symbolic Logic ◽

10.2307/2270486 ◽

1966 ◽

Vol 31 (3) ◽

pp. 507-507

Author(s):

Arnold Oberschelp

Keyword(s):

American Mathematical Society ◽

Mathematical Society ◽

Reduced Products

Download Full-text

Reduced products, Horn sentences, and decision problems

Bulletin of the American Mathematical Society ◽

10.1090/s0002-9904-1967-11640-9 ◽

1967 ◽

Vol 73 (1) ◽

pp. 59-65 ◽

Cited By ~ 6

Author(s):

Fred Galvin

Keyword(s):

Decision Problems ◽

Reduced Products ◽

Horn Sentences

Download Full-text

R. C. Lyndon. Existential Horn sentences. Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 994–998.

Journal of Symbolic Logic ◽

10.2307/2270165 ◽

1965 ◽

Vol 30 (2) ◽

pp. 253-253

Author(s):

Peter G. Hinman

Keyword(s):

American Mathematical Society ◽

Mathematical Society ◽

Horn Sentences

Download Full-text

Emil L. Post. Recursively enumerable sets of positive integers and their decision problems. Bulletin of the American Mathematical Society, vol. 50 (1944), pp. 284–316.

Journal of Symbolic Logic ◽

10.2307/2267203 ◽

1945 ◽

Vol 10 (1) ◽

pp. 18-19

Author(s):

J. C. C. McKinsey

Keyword(s):

American Mathematical Society ◽

Decision Problems ◽

Mathematical Society ◽

Recursively Enumerable ◽

Recursively Enumerable Sets ◽

Positive Integers

Download Full-text

H. Andréka, S. Givant, and I. Németi. Decision problems for equational theories of relation algebras. Memoirs of the American Mathematical Society, vol. 126, no. 604. American Mathematical Society, Providence, March 1997, xiv + 126 pp.

Bulletin of Symbolic Logic ◽

10.1017/s1079898600004728 ◽

2003 ◽

Vol 9 (1) ◽

pp. 37-39

Author(s):

Roger D. Maddux

Keyword(s):

American Mathematical Society ◽

Decision Problems ◽

Mathematical Society ◽

Relation Algebras ◽

Equational Theories

Download Full-text

C. C. Elgot. Decision problems of finite automata design and related arithmetics. Transactions of the American Mathematical Society, vol. 98 (1961), pp. 21–51.

Journal of Symbolic Logic ◽

10.2307/2270940 ◽

1969 ◽

Vol 34 (3) ◽

pp. 509-510

Author(s):

Robert McNaughton

Keyword(s):

Finite Automata ◽

American Mathematical Society ◽

Decision Problems ◽

Mathematical Society

Download Full-text

H. G. Rice. Classes of recursively enumerable sets and their decision problems. Transactions of the American Mathematical Society, vol. 74 (1953) pp. 358–366.

Journal of Symbolic Logic ◽

10.2307/2268870 ◽

1954 ◽

Vol 19 (2) ◽

pp. 121-122

Author(s):

Rózsa Péter

Keyword(s):

American Mathematical Society ◽

Decision Problems ◽

Mathematical Society ◽

Recursively Enumerable ◽

Recursively Enumerable Sets

Download Full-text

Geometric Asymptotics for Nonlinear PDE. I. By V. P. MASLOV & G. A. OMEL’YANOV. Translations of Mathematical Monographs, Vol. 202, American Mathematical Society, 2001. 285 pp. ISBN 0-8218-2109-1.

Journal of Fluid Mechanics ◽

10.1017/s0022112002228979 ◽

2002 ◽

Vol 461 ◽

pp. 408-410

Keyword(s):

American Mathematical Society ◽

Nonlinear Pde ◽

Mathematical Society

Download Full-text

Review of "Data Structures, Near Neighbor Searches, and Methodology: Fifth and Sixth DIMACS Implementation Challenge by Michael H. Goldwasser, David S. Johnson, Catherine C. McGeoch", American Mathematical Society 2002

ACM SIGACT News ◽

10.1145/1107523.1107529 ◽

2005 ◽

Vol 36 (4) ◽

pp. 5-8

Author(s):

Maulik A. Dave

Keyword(s):

Data Structures ◽

American Mathematical Society ◽

Near Neighbor ◽

Mathematical Society ◽

Implementation Challenge

Download Full-text

Citations versus expert opinions: citation analysis of featured reviews of the American Mathematical Society

Scientometrics ◽

10.1007/s11192-021-03894-2 ◽

2021 ◽

Vol 126 (5) ◽

pp. 3853-3870

Author(s):

Lawrence Smolinsky ◽

Daniel S. Sage ◽

Aaron J. Lercher ◽

Aaron Cao

Keyword(s):

Citation Analysis ◽

American Mathematical Society ◽

Mathematical Society ◽

Expert Opinions

Download Full-text