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 |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn316566705 | ||
| 003 | OCoLC | ||
| 005 | 20231117015239.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 090320s1985 ne a ob 101 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d OPELS |d OCLCQ |d OCLCF |d DEBBG |d OCLCO |d N$T |d IDEBK |d E7B |d MERUC |d YDXCP |d OCLCO |d OCLCQ |d OCL |d OCLCO |d OCLCQ |d DEBSZ |d LEAUB |d S2H |d OCLCO |d OCLCQ | ||
| 019 | |a 301884776 |a 646775996 | ||
| 020 | |a 9780444876478 | ||
| 020 | |a 0444876472 | ||
| 020 | |a 9780080872131 |q (electronic bk.) | ||
| 020 | |a 0080872131 |q (electronic bk.) | ||
| 035 | |a (OCoLC)316566705 |z (OCoLC)301884776 |z (OCoLC)646775996 | ||
| 050 | 4 | |a QA267 |b .I56 1983eb | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511 |2 22 |
| 111 | 2 | |a International FCT-Conference |d (1983 : |c Borgholm, Sweden) | |
| 245 | 1 | 0 | |a Topics in the theory of computation : |b selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 / |c edited by Marek Karpinski and Jan van Leeuwen. |
| 260 | |a Amsterdam ; |a New York : |b North-Holland ; |a New York, N.Y. : |b Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., |c 1985. | ||
| 300 | |a 1 online resource (ix, 187 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Annals of discrete mathematics ; |v 24 | |
| 490 | 1 | |a North-Holland mathematics studies ; |v 102 | |
| 520 | |a 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 into eight categories: 1. Constructive Mathematics in Models of Computation and Programming; 2. Abstract Calculi and Denotational Semantics; 3. Theory of Machines, Computations and Languages; 4. Nondeterminism, Concurrency and Distributed Computing; 5. Abstract Algebras, Logics and Combinatorics in Computation Theory; 6. General Computability and Decidability; 7. Computational and Arithmetic Complexity; 8. Analysis of Algorithms and Feasible Computing. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a 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. | |
| 650 | 0 | |a Computational complexity |v Congresses. | |
| 650 | 0 | |a Machine theory |v Congresses. | |
| 650 | 0 | |a Computer science |x Mathematics |v Congresses. | |
| 650 | 6 | |a Complexit�e de calcul (Informatique) |0 (CaQQLa)201-0068287 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 6 | |a Th�eorie des automates |0 (CaQQLa)201-0002733 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 6 | |a Informatique |0 (CaQQLa)201-0123277 |x Math�ematiques |0 (CaQQLa)201-0123277 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
| 650 | 7 | |a Computational complexity. |2 fast |0 (OCoLC)fst00871991 | |
| 650 | 7 | |a Computer science |x Mathematics. |2 fast |0 (OCoLC)fst00872460 | |
| 650 | 7 | |a Machine theory. |2 fast |0 (OCoLC)fst01004846 | |
| 653 | |a Computation |a Theories | ||
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft | |
| 655 | 7 | |a Actes de congr�es. |2 rvmgf |0 (CaQQLa)RVMGF-000001049 | |
| 700 | 1 | |a Karpi�nski, Marek, |d 1948- | |
| 700 | 1 | |a Leeuwen, J. van |q (Jan) | |
| 776 | 0 | 8 | |i Print version: |a International FCT-Conference (1983 : Borgholm, Sweden). |t Topics in the theory of computation. |d Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985 |z 0444876472 |z 9780444876478 |w (DLC) 84021089 |w (OCoLC)11212612 |
| 830 | 0 | |a Annals of discrete mathematics ; |v 24. | |
| 830 | 0 | |a North-Holland mathematics studies ; |v 102. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444876478 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/publication?issn=03040208&volume=102 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/03040208/102 |z Texto completo |