AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Mathematical Aspects of Computer Science
About this Title
J. T. Schwartz, Editor
Publication: Proceedings of Symposia in Applied Mathematics
Publication Year:
1967; Volume 19
ISBNs: 978-0-8218-1319-5 (print); 978-0-8218-9234-3 (online)
DOI: https://doi.org/10.1090/psapm/019
Table of Contents
Front/Back Matter
Articles
- J. A. Robinson – A review of automatic theorem-proving [MR 0241195]
- Robert W. Floyd – Assigning meanings to programs [MR 0235771]
- John McCarthy and James Painter – Correctness of a compiler for arithmetic expressions [MR 0242403]
- J. Hartmanis – Context-free languages and Turing machine computations [MR 0235938]
- Susumu Kuno – Computer analysis of natural languages
- P. Swinnerton-Dyer – The use of computers in the theory of numbers [MR 0236091]
- M. E. Mahowald and M. D. MacLaren – A machine calculation of a spectral sequence [MR 0236928]
- C. E. Leith – Numerical hydrodynamics of the atmosphere
- J. F. Traub – The calculation of zeros of polynomials and analytic functions [MR 0233965]
- Michael O. Rabin – Mathematical theory of automata [MR 0239886]
- Marvin Minsky and Seymour Papert – Linearly unrecognizable patterns [MR 0280037]