Spar
Domains and Processes
Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. 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.
- Undertittel
- Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
- Redaktør
- Klaus Keimel
- Opplag
- Softcover reprint of the original 1st ed. 2001
- ISBN
- 9789401038591
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 17.9.2012
- Forlag
- Springer
- Antall sider
- 273
