Cover Image

Computational Logic : Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29-August 10, 1997 /

Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book...

Full description

Bibliographic Details
Main Author:	Berger, Ulrich
Corporate Author:	SpringerLink (Online service)
Other Authors:	Schwichtenberg, Helmut
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.
Series:	NATO ASI Series ; ; 165.
Subjects:	Computer science. Logic design. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Temporal Logic of Programs /
by: Kröger, Fred
Published: (1987)

Deontic logic, agency and normative systems ΔEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996 /
by: Brown, Mark A.
Published: (1996)

Logics of Programs : Brooklyn, June 17-19, 1985 /
by: Parikh, Rohit
Published: (1985)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 /
by: Clement, Timothy Paul
Published: (1992)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993 /
by: Deville, Yves
Published: (1994)

Logic of Programming and Calculi of Discrete Design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /
by: Broy, Manfred
Published: (1987)

PROLOG for Computer Science /
by: Dawe, M. S.
Published: (1994)

CONCUR'93 : 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings /
by: Best, Eike
Published: (1993)

Computer Logic : Design Principles and Applications /
by: Hsu, John Y.
Published: (2002)

Mathematical Foundations of Programming Language Semantics : 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987. Proceedings /
by: Main, Michael
Published: (1988)

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1996)

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

Mathematical Foundation of Programming Semantics : International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings /
by: Melton, Austin
Published: (1986)

Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement /
by: Broy, Manfred
Published: (2001)

Current Trends in Concurrency : Overviews and Tutorials /
by: Bakker, Jacobus W. de
Published: (1986)

Advanced Topics in Term Rewriting /
by: Ohlebusch, Enno
Published: (2002)

Beauty Is Our Business : a Birthday Salute to Edsger W. Dijkstra /
by: Feijen, W. H. J.
Published: (1990)

Predicate Calculus and Program Semantics /
by: Dijkstra, Edsger W.
Published: (1990)

Verification of Sequential and Concurrent Programs /
by: Apt, Krzysztof R.
Published: (1997)

Understanding formal methods /
by: Monin, Jean-François
Published: (2003)

Extensional Constructs in Intensional Type Theory /
by: Hofmann, Martin
Published: (1997)

Modal and Temporal Properties of Processes /
by: Stirling, Colin
Published: (2001)

Computational Logic : Symposium Proceedings, Brussels, November 13/14, 1990 /
by: Lloyd, John W.
Published: (1990)

Computability /
by: Weihrauch, Klaus
Published: (1987)

Logical Foundations of Computer Science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings /
by: Nerode, Anil
Published: (1992)

Iteration Theories : the Equational Logic of Iterative Processes /
by: Bloom, Stephen L.
Published: (1993)

Logic Program Synthesis and Transformation - Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994. Proceedings /
by: Fribourg, Laurent
Published: (1994)

LISP, Lore, and Logic : an Algebraic View of LISP Programming, Foundations, and Applications /
by: Stark, W. Richard
Published: (1990)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 /
by: Lau, Kung-Kiu
Published: (1993)

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1990)

Digital Circuit Design for Computer Science Students : an Introductory Textbook /
by: Wirth, Niklaus
Published: (1995)

Logical Methods : In Honor of Anil Nerode's Sixtieth Birthday /
by: Crossley, John N.
Published: (1993)

Logic for Applications /
by: Nerode, Anil
Published: (1997)

Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings /
by: Shapiro, Ehud
Published: (1986)

Logic, Algebra, and Computation : International Summer School /
by: Bauer, Friedrich L.
Published: (1991)

The Logic of Partial Information /
by: Abdallah, Areski Nait
Published: (1995)

Computing in Horn Clause Theories /
by: Padawitz, Peter
Published: (1988)

Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings /
by: Eijck, J. van (Jan)
Published: (1991)

Nonmonotonic and Inductive Logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings /
by: Dix, Jürgen
Published: (1991)

The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings /
Published: (1985)