Seymour Ginsburg. Some remarks on abstract machines. Transactions of the American Mathematical Society, vol. 96 (1960), pp. 400–444. - Seymour Ginsburg and Gene F. Rose. A comparison of the work done by generalized sequential machines and Turing machines. Transactions of the American Mathematical Society, vol. 103 (1962), pp. 394–402.

Lars Löfgren

doi:10.2307/2273005

Seymour Ginsburg. Some remarks on abstract machines. Transactions of the American Mathematical Society, vol. 96 (1960), pp. 400–444. - Seymour Ginsburg and Gene F. Rose. A comparison of the work done by generalized sequential machines and Turing machines. Transactions of the American Mathematical Society, vol. 103 (1962), pp. 394–402.

Journal of Symbolic Logic ◽

10.2307/2273005 ◽

1972 ◽

Vol 37 (2) ◽

pp. 411-411

Author(s):

Lars Löfgren

Keyword(s):

American Mathematical Society ◽

Mathematical Society ◽

Turing Machines ◽

Abstract Machines ◽

Sequential Machines ◽

Work Done

Download Full-text

A comparison of the work done by generalized sequential machines and Turing machines

Transactions of the American Mathematical Society ◽

10.1090/s0002-9947-1962-0138546-7 ◽

1962 ◽

Vol 103 (3) ◽

pp. 394-394

Author(s):

Seymour Ginsburg ◽

Gene F. Rose

Keyword(s):

Turing Machines ◽

Sequential Machines ◽

Work Done

Download Full-text

M. D. Davis. A note on universal Turing machines. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 167–175. - Martin Davis. The definition of universal Turing machine. Proceedings of the American Mathematical Society, vol. 8 (1957), pp. 1125–1126.

Journal of Symbolic Logic ◽

10.2307/2271485 ◽

1970 ◽

Vol 35 (4) ◽

pp. 590-590

Author(s):

R. J. Nelson

Keyword(s):

Turing Machine ◽

American Mathematical Society ◽

Mathematical Society ◽

Turing Machines ◽

Princeton University ◽

Universal Turing Machine ◽

Definition Of ◽

Martin Davis

Download Full-text

M. L. Minsky. Size and structure of universal Turing machines using Tag systems. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 229–238.

Journal of Symbolic Logic ◽

10.2307/2269717 ◽

1966 ◽

Vol 31 (4) ◽

pp. 655-655

Author(s):

Martin Davis

Keyword(s):

Recursive Function ◽

Function Theory ◽

American Mathematical Society ◽

Mathematical Society ◽

Turing Machines ◽

Pure Mathematics ◽

Size And Structure

Download Full-text

Gene F. Rose. Output completeness in sequential machines. Proceedings of the American Mathematical Society, vol. 13 (1962), pp. 611–614.

Journal of Symbolic Logic ◽

10.2307/2270681 ◽

1966 ◽

Vol 31 (1) ◽

pp. 140-140

Author(s):

Robert McNaughton

Keyword(s):

American Mathematical Society ◽

Mathematical Society ◽

Sequential Machines

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