Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (10 chapters)
-
Front Matter
-
SFP Domains
-
Front Matter
-
-
Stable Domains
-
Front Matter
-
-
Back Matter
About this book
Authors and Affiliations
-
Department of Computer Science, University of Georgia, Athens, USA
Guo-Qiang Zhang
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-1
Softcover ISBN: 978-1-4612-6763-8
eBook ISBN: 978-1-4612-0445-9
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