Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (10 chapters)
-
SFP Domains
-
Stable Domains
Keywords
About this book
Authors and Affiliations
Bibliographic Information
Book Title: Logic of Domains
Authors: Guo-Qiang Zhang
Series Title: Progress in Theoretical Computer Science
DOI: https://doi.org/10.1007/978-1-4612-0445-9
Publisher: Birkhäuser Boston, MA
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 1991
Hardcover ISBN: 978-0-8176-3570-1Published: 01 January 1991
Softcover ISBN: 978-1-4612-6763-8Published: 22 December 2012
eBook ISBN: 978-1-4612-0445-9Published: 06 December 2012
Edition Number: 1
Number of Pages: X, 260
Topics: Math Applications in Computer Science, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Logic Design, Logics and Meanings of Programs, Applications of Mathematics
Industry Sectors: IT & Software