Articoli correlati a Domains and Processes: Proceedings of the 1st International...
Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999 - Brossura
Sinossi
Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi.
This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Preface. 1. Encounters Between Topology and Domain Theory; J.D. Lawson. 2. The Lawon Topology on Quasicontinuous Domains; X.-Q. Xu. 3. Uk-admitting dcpos need not be sober; H. Kou. 4. The Largest Topologically Cartesian Closed Categories of Domains as Topological Spaces; H. Kou, M. Luo. 5. On the Equivalence of Some Approaches to Computability on the Real Line; D. Spreen, H. Schulz. 6. The continuous functionals of finite types over the reals; D. Normann. 7. Compact Semantics on Bc-domains; T. Fan, G.-J. Wang. 8. Normal Subsets in Abstract Bases; L. Fan, C.-Y. Zheng. 9. Semantics of Logic Programs and Representation of Smyth Powerdomain; G.-Q. Zhang, W.C. Rounds. 10. Domains of view: a foundation for specification and analysis; M. Huth. 11. Semantic Theory and Proof System of Open Bisimulation for the pi-Calculus with Mismatching; Z. Li, H. Chen. 12. Axiomatization without Prefix Combinator; Y. Fu.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2012
- ISBN 10 9401038597
- ISBN 13 9789401038591
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine292
- RedattoreKeimel Klaus, Guo-Qiang Zhang, Ying Ming Liu, Yixiang Chen
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 92,27
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Domains and Processes: Proceedings of the 1st International...
Immagini fornite dal venditore
Domains and Processes
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proceedings of the 1st International Symposium on Domain Theory Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Sympos. Codice articolo 5830660
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Domains and Processes
Editore:
Springer Netherlands Sep 2012, 2012
ISBN 10: 9401038597
ISBN 13: 9789401038591
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi. This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science. 292 pp. Englisch. Codice articolo 9789401038591
Quantità: 2 disponibili
Immagini fornite dal venditore
Domains and Processes
Editore:
Springer Netherlands, Springer Netherlands Sep 2012, 2012
ISBN 10: 9401038597
ISBN 13: 9789401038591
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi.This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch. Codice articolo 9789401038591
Quantità: 1 disponibili
Immagini fornite dal venditore
Domains and Processes : Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi. This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science. Codice articolo 9789401038591
Quantità: 1 disponibili
Foto dell'editore
Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999 (Semantics Structures in Computation)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9789401038591_new
Quantità: Più di 20 disponibili
Foto dell'editore
Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999 (Semantics Structures in Computation)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 273 pages. 9.45x6.30x0.66 inches. In Stock. Codice articolo x-9401038597
Quantità: 2 disponibili
Foto dell'editore
Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999 (Semantics Structures in Computation)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Apr0412070054102
Quantità: Più di 20 disponibili
Foto dell'editore
Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999 (Semantics Structures in Computation, 1)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: Like New. Like New. book. Codice articolo ERICA79094010385976
Quantità: 1 disponibili