Vor Ort
Merkzettel Warenkorb
Produktbild: Domain Theory, Logic and Computation
Band 3

Domain Theory, Logic and Computation Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

Aus der Reihe Semantics Structures in Computation

148,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.12.2010

Herausgeber

Guo-Qiang Zhang + weitere

Verlag

Springer Netherland

Seitenzahl

197

Maße (L/B/H)

23,5/15,5/1,2 cm

Gewicht

345 g

Auflage

Softcover reprint of the original 1st edition 2003

Sprache

Englisch

ISBN

978-90-481-6523-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.12.2010

Herausgeber

Verlag

Springer Netherland

Seitenzahl

197

Maße (L/B/H)

23,5/15,5/1,2 cm

Gewicht

345 g

Auflage

Softcover reprint of the original 1st edition 2003

Sprache

Englisch

ISBN

978-90-481-6523-0

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Domain Theory, Logic and Computation
  • Preface. Contributing authors.
    1: Playful, streamlike computation; P.-L. Curien. 1. Prologue: playing with Böhm trees. 2. Introduction. 3. Symmetric algorithms, sequential algorithms. 4. Related works. 5. Control. 6. A few more remarks.
    2: Universal types and what they are good for; J.R. Longley. 1. Universal objects. 2. lambda-algebras. 3. Denotational semantics. 4. Universal types. 5. Syntax and semantics of PCF. 6. Examples of universal types. 7. Conclusions and further directions.
    3: Relational representations of hyper-continuous lattices; Xiao-Quan Xu, Ying-Ming Liu. 1. Preliminaries. 2. Regular representations of completely distributive lattices. 3. Finitely regular representations of hyper-continuous lattices.
    4: Convergence classes and spaces of partial functions; A.K. Seda, R. Heinze, P. Hitzler. 1. Introduction. 2. Convergence spaces and convergence classes. 3. Convergence classes and VDM. 4. Compactness of (X --> Y). 5. Conclusions and further work.
    5: On meet-continuous dcpos; Hui Kou, Ying-Ming Liu, Mao-Kang Luo. 1. Introduction. 2. Basic properties of meet-continuous dcpos. 3. Dcpos with the Hausdorff Lawson topology. 4. Adjunctions between quasicontinuous domains and continuous domains. 5. Scott-open filters. 6. Concluding remarks.
    6: External characterizations of continuous sL-domains; LuoshanXu. 1. Introduction. 2. Preliminaries. 3. Continuous sL-domains and their characterizations by function spaces. 4. External characterizations by posets of ideals.
    7: Projectives and injectives in the category of quantales; Yong-Ming Li, Meng Zhou. 1. Introduction. 2. Regular projectives in the category of quantales. 3. Injective objects in the category of quantales.
    8: On minimal event and concrete data structures; F. Bracho, M. Droste, I. Meinecke. 1. Introduction. 2. Event structures, concrete data structures and their domains. 3. Congruences on prime intervals and associated structures. 4. Maximal and minimal structures. 5. Conclusion.
    9: A note on strongly finite sequent structures; D. Spreen, R. Greb. 1. Introduction. 2. Basic definitions and results. 3. Domain constructions. 4. Strongly finite sequent structures. 5. Sequent structures and preorders. 6. Constructions on preorders. 7. Conclusion.