分享给好友:
Selected Papers Calvin C. Elgot Softcover reprint of the original 1st ed. 1982 edition
Selected Papers
Calvin C. Elgot
It seems to me that his early work on decision problems relating automata and logic, starting with his thesis under Roger Lyndon and continuing with joint work with Biichi, Wright, Copi, Rutledge, Mezei, and then later with Rabin, set the stage for his attack on the theory of computation through the abstract treatment of the notion of a machine.
460 pages, biography
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 2011年10月18日 |
| ISBN13 | 9781461381792 |
| 出版商 | Springer-Verlag New York Inc. |
| 页数 | 460 |
| 商品尺寸 | 155 × 235 × 25 mm · 675 g |
| 语言 | 英语 |
| 编辑 | Bloom, Stephen L. |
![Cover for Paulo Ney De Souza · Berkeley Problems in Mathematics - Problem Books in Mathematics (Hardcover Book) [Fourth Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/missing-tall.png)
![Cover for Functional Disulphide Bonds: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/575/9781071651575.jpg?2026-functional-disulphide-bonds-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1775139165)
![Cover for Collagen: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/933/9781071651933.jpg?2026-collagen-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1775081440)
![Cover for In Situ Hybridization Protocols - Methods in Molecular Biology (Hardcover Book) [Sixth Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/718/9781071652718.jpg?2026-in-situ-hybridization-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1778115542)
![Cover for Expression, Purification, and Structural Biology of Membrane Proteins - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/858/9781071651858.jpg?2026-expression-purification-and-structural-biology-of-membrane-proteins-methods-in-molecular-biology-hardcover-book&class=scaled&v=1777954830)
![Cover for Targeting Enzymes for Pharmaceutical Development: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/896/9781071651896.jpg?2026-targeting-enzymes-for-pharmaceutical-development-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1775080745)
![Cover for Enzyme Stabilization and Immobilization: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Third Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/698/9781071651698.jpg?2026-enzyme-stabilization-and-immobilization-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1775079239)
![Cover for Detection and Quantification of Bacteria, Yeast, Viruses, and Protozoan in Foods and Freshwater - Methods and Protocols in Food Science (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/639/9781071650639.jpg?2026-detection-and-quantification-of-bacteria-yeast-viruses-and-protozoan-in-foods-and-freshwater-methods-and-protocols-in-food-science-hardcover-book&class=scaled&v=1774450462)
![Cover for Circulating Tumor Cells: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/493/9781071650493.jpg?2026-circulating-tumor-cells-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1774450137)
![Cover for Mikulas Luptacik · Mathematical Optimization and Economic Analysis - Springer Optimization and Its Applications (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/752/9781071650752.jpg?mikulas-luptacik-2026-mathematical-optimization-and-economic-analysis-springer-optimization-and-its-applications-hardcover-book&class=scaled&v=1774451881)
![Cover for Biofuels from Algae: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/301/9781071650301.jpg?2026-biofuels-from-algae-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1774450546)
![Cover for Fuzhen Zhang · Matrix Theory: Basic Results and Techniques - Universitext (Paperback Book) [Third Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/374/9781071652374.jpg?fuzhen-zhang-2026-matrix-theory-basic-results-and-techniques-universitext-paperback-book&class=scaled&v=1774520369)