Logic of Domains

Logic of Domains by G. Zhang.

This monograph studies the logical aspects of domains as used in de notational semantics of programming languages. Frameworks of domain logics are introduced; these serve as foundations for systematic derivations of proof systems from denotational semantics of programming languages. Any proof syste...

Full description

Saved in:

Bibliographic Details
Main Author:	Zhang, G. (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser, 1991.
Edition:	1st ed. 1991.
Series:	Progress in Theoretical Computer Science Springer eBook Collection.
Subjects:	Computer science—Mathematics. Mathematical logic. Logic design. Computer logic. Applied mathematics. Engineering mathematics. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Neighborhood Semantics for Modal Logic
by: Pacuit, Eric
Published: (2017)

Logical Methods In Honor of Anil Nerode’s Sixtieth Birthday
Published: (1993)

Solving Higher-Order Equations From Logic to Programming
by: Prehofer, Christian
Published: (1998)

Logic Functions and Equations Binary Models for Computer Science
by: Posthoff, Christian, et al.
Published: (2004)

Logic Functions and Equations Binary Models for Computer Science
by: Posthoff, Christian, et al.
Published: (2019)

Mathematical Logic On Numbers, Sets, Structures, and Symmetry
by: Kossak, Roman
Published: (2018)

Meaning and Proscription in Formal Logic Variations on the Propositional Logic of William T. Parry
by: Ferguson, Thomas Macaulay
Published: (2017)

Computer Science Logic 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
Published: (1991)

Specifying Message Passing and Time-Critical Systems with Temporal Logic
by: Koymans, Ron
Published: (1992)

Finite Automata, Formal Logic, and Circuit Complexity
by: Straubing, Howard
Published: (1994)

Beyond Two: Theory and Applications of Multiple-Valued Logic
Published: (2003)

Ewa Orłowska on Relational Methods in Logic and Computer Science
Published: (2018)

Theorem Proving in Higher Order Logics 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
Published: (1999)

Handbook of Logic and Proof Techniques for Computer Science
by: Krantz, Steven G.
Published: (2002)

A Concise Introduction to Mathematical Logic
by: Rautenberg, Wolfgang
Published: (2006)

Modern Formal Methods and Applications
Published: (2006)

Application and Theory of Petri Nets 1993 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings
Published: (1993)

Mathematical Problems from Applied Logic I Logics for the XXIst Century
Published: (2006)

Algebraic Methodology and Software Technology 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings
Published: (1995)

Logic and Algebra of Specification
Published: (1993)

New Directions in Paraconsistent Logic 5th WCP, Kolkata, India, February 2014
Published: (2015)

Formal Techniques in Real-Time and Fault-Tolerant Systems Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
Published: (1991)

Theorem Proving in Higher Order Logics 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
Published: (1997)

Deontic Logic, Agency and Normative Systems ?EON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996
Published: (1996)

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
Published: (2007)

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
by: Ayala-Rincón, Mauricio, et al.
Published: (2017)

Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry
by: Mazzola, Guerino, et al.
Published: (2006)

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Published: (2015)

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
Published: (2017)

Theorem Proving in Higher Order Logics 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings
Published: (1996)

A Short Introduction to Intuitionistic Logic
by: Mints, Grigori
Published: (2000)

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings
Published: (2009)

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Published: (2011)

Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
Published: (1998)

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Published: (2013)

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91)
Published: (1991)

Logic, Language, Information, and Computation
Published: (2012)

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
Published: (2010)

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
by: Lavrov, Igor, et al.
Published: (2003)

Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
Published: (1998)