![](/client/images/blank.gif)
Eylem Seç
![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 için kapak resmi 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 için kapak resmi](/client/assets/d79c3e4af2b6d196/ctx/images/no_image.png)
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
Başlık:
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
Yazar:
International FCT-Conference (1983 : Borgholm, Sweden)
ISBN:
9780444876478
9780080872131
Toplantı Adı Girişi:
Yayın Bilgileri:
Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985.
Fiziksel Tanımlama:
1 online resource (ix, 187 pages) : illustrations.
Seri:
Annals of discrete mathematics ; 24
North-Holland mathematics studies ; 102
Annals of discrete mathematics ; 24.
North-Holland mathematics studies ; 102.
İçerik:
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.
Özet:
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.
Elektronik Erişim:
ScienceDirect http://www.sciencedirect.com/science/book/9780444876478 ScienceDirect http://www.sciencedirect.com/science/publication?issn=03040208&volume=102Mevcut:*
Yer Numarası | Demirbaş Numarası | Shelf Location | Lokasyon / Statüsü / İade Tarihi |
---|---|---|---|
QA267 .I56 1983 EB | 1191256-1001 | Elsevier E-Kitap Koleksiyonu | Arıyor... |
On Order
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
:
Select An Item
Data usage warning: You will receive one text message for each title you selected.
Standard text messaging rates apply.