Campus Event Calendar
Event Entry
What and Who
First-order proof systems and backround theories
Uwe Waldmann
Max-Planck-Institut für Informatik - RG 1
Senior Researcher Series
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, RG2
MPI Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 4 June 2008
16:00
45 Minutes
E1 4
024
Saarbrücken
Abstract
Most theorem proving systems today are either specialized for
problems where _all_ function symbols have a predefined meaning
(e.g., + and * denote addition and multiplication of rational
numbers) or where _no_ function symbols have a predefined meaning.
The mixed case, however, is difficult. We present methods, tools,
and infrastructure to deal with such problems.
Contact
Roxane Wetzel
900
--email hidden
passcode not visible
logged in users only
Roxane Wetzel, 05/28/2008 14:12
Roxane Wetzel, 02/06/2008 08:56
Roxane Wetzel, 12/20/2007 09:48
Roxane Wetzel, 12/20/2007 09:44 -- Created document.
Roxane Wetzel, 02/06/2008 08:56
Roxane Wetzel, 12/20/2007 09:48
Roxane Wetzel, 12/20/2007 09:44 -- Created document.