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

Robert McNaughton

doi:10.2307/2270940

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

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

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

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

S. C. Kleene. Permutability of inferences in Gentzen's calculi LK and LJ. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 1–26. - S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 27–66. - S. C. Kleene. Bibliography. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 67–68. - William Craig. On axiomatizability within a system. The journal of symbolic logic, vol. 18 (1953), pp. 30–32.

Journal of Symbolic Logic ◽

10.2307/2267666 ◽

1954 ◽

Vol 19 (1) ◽

pp. 62-63

Author(s):

Robert McNaughton

Keyword(s):

American Mathematical Society ◽

Predicate Calculus ◽

Mathematical Society ◽

Symbolic Logic ◽

Finite Axiomatizability

Download Full-text

THE AMERICAN MATHEMATICAL SOCIETY

Science ◽

10.1126/science.55.1431.600 ◽

1922 ◽

Vol 55 (1431) ◽

pp. 600-602

Author(s):

R. G. D. Richardson

Keyword(s):

American Mathematical Society ◽

Mathematical Society

Download Full-text

The twelfth annual meeting of the American Mathematical Society

Bulletin of the American Mathematical Society ◽

10.1090/s0002-9904-1906-01320-9 ◽

1906 ◽

Vol 12 (5) ◽

pp. 223-235

Author(s):

F. N. Cole

Keyword(s):

Annual Meeting ◽

American Mathematical Society ◽

Mathematical Society

Download Full-text