Cargando…
Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 /
This volume contains nine selected papers presented at the Borgholm conference. They were chosen on the basis of their immediate relevance to the most fundamental aspects of the theory of computation and the newest developments in this area. These papers, which have been extended and refereed, fall...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York : New York, N.Y. :
North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
1985.
|
| Colección: | Annals of discrete mathematics ;
24. North-Holland mathematics studies ; 102. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
Tabla de Contenidos:
- Front Cover; Topics in the Theory of Computation; Copyright Page; Preface; Table of Contents; Chapter 1. Input-driven Languages are recognized in log n space; Chapter 2. Constructive mathematics as a programming logic I: Some principles of theory; Chapter 3. Space and reversal complexity of probabilistic one-way Turing machines; Chapter 4. Recurring dominoes: Making the highly undecidable highly understandable; Chapter 5. A new transformational approach to partial correctness proof calculi for algol 68-like programs with finite modes and simple sideeffects.