Thomas Hillenbrand
Research
Teaching
Software
Teaching
Automated Deduction for Equational Logic
(Uwe Waldmann) Summer 03
Decision Procedures for Logical Theories
(Harald Ganzinger, Uwe Waldmann) Winter 01/02
Proof Tools
(Hans de Nivelle) Winter 01/02
Max-Planck-Institut für Informatik
About the Institute
|
Research Units
:
AG 1
,
AG 2
|
AG 3
|
AG 4
|
News & Activities
|
Location
|
People
|
Services
|
Search the Site
|
Site Map
This web page is maintained by
Thomas Hillenbrand
<
hillen@mpi-sb.mpg.de
>.
Document last modified on Wednesday, 21-Jan-2004 16:04:14 MET.
