Reinhold Letz
LMU München
Institut für Informatik
Oettingenstr. 67
D-80538 München
Tel.: 089-2180-9693
Raum: E 0.1
Email:
     
   Research topics:
automated theorem proving
model generation
decision procedures for logics
(SAT, QBF, Bernays/Schoenfinkel)
complexities of logics
implementation of logics
Selected publications
Dissertation:
ps
,
pdf
Habilitation:
ps
,
pdf
Teaching
Praktikum Beweiser
Vorlesung Nichtklassische Logiken
Folien zur Vorlesung Planen und Suchen (TU Wien)
Logikbasierte Entscheidungsverfahren
Temporale Logik und Model Checking
Model Checking
Einführung in das Programmieren mit JAVA
Nichtklassische Logiken
Komplexitätstheorie
Theorem provers and decision procedures
SETHEO (a model elimination prover)
DCTP (a disconnection tableau prover)
Semprop (a decision procedure for quantified Boolean formulae)