Topics in the Theory of Computation: Selected International Conference Papers - Brossura

Karpinski, Marek

 
9780444876478: Topics in the Theory of Computation: Selected International Conference Papers
Brossura
ISBN 10: 0444876472 ISBN 13: 9780444876478
Casa editrice: Elsevier Science Ltd, 1985

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by Karpinski Marek

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Elsevier Science Ltd
Data di pubblicazione
1985
Lingua
Inglese
ISBN 10 
0444876472
ISBN 13 
9780444876478
Rilegatura
Copertina flessibile
Numero di pagine
202
Redattore
Leeuwen J. Van
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9780444558008: Topics in the Theory of Computation

Edizione in evidenza

ISBN 10:  0444558004 ISBN 13:  9780444558008
Casa editrice: North Holland, 2012
Brossura