Decision Procedures for Logical Theories – Slides and Suggested Readings

Slides

Harald Ganzinger:
Slides for the lecture.
Online at http://www.mpi-inf.mpg.de/~hg/Vorlesungen/DecisionProcedures-WS02/.

Stefan Ratschan:
Slides for the lecture (Decision procedures for the real numbers).
Online at http://www.mpi-inf.mpg.de/~ratschan/index_3.html.

Uwe Waldmann:
Slides for the lecture (January 30, 2003).
[Postscript]
Slides for the lecture (February 13, 2003).
[Postscript]
Slides for the lecture (February 20, 2003).
[Postscript]

Logic in general

Franz Baader and Tobias Nipkow:
Term Rewriting and All That.
Cambridge Univ. Press, 1998.

Melvin Fitting:
First-Order Logic and Automated Theorem Proving.
Springer-Verlag, New York, 1996.

Michael Huth and Mark Ryan:
Logic in Computer Science: Modelling and Reasoning about Systems.
Cambridge Univ. Press, 2000.

Uwe Schöning:
Logik für Informatiker.
Spektrum Akademischer Verlag, 2000

Specific topics

(later)


Previous | Up | Next
Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2003-02-20.
Imprint | Data Protection