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


Teaching

Theorem provers and decision procedures