Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template :: Thesis :: Weidenbach, Christoph


Publications Master Template
Show all entries of:this year (2019)last year (2018)two years ago (2017)Open in Notes
Action:login to update

Thesis - Habilitation thesis | | Habilitation(sschrift)


Author
Author(s)*:Weidenbach, Christoph
BibTeX citekey*:Weidenbach2000habil
Language:German

Title, School
Title*:Entscheidbarkeitsprobleme für monadische (Horn)Klauselklassen
School:Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät
Type of Thesis*:Habilitation thesis
Month:June
Year:2000


Note, Abstract, Copyright
LaTeX Abstract:Abstract der Antrittsvorlesung:

                Heute lassen sich mit modernen Beweissystemen
                fuer die klassische Praedikatenlogik eine Reihe von
                aktuellen Problemen wie die Analyse von Programmen oder
                (Sicherheits)Protokollen vollautomatisch loesen.
                Dies ist das Resultat einer Reihe von neuen Techniken/Ergebnissen,
                die in Form von Kalkuelen, Redundanzkriterien, Algorithmen und
                Implementierungsdesigns Einzug in aktuelle Systeme gehalten haben.
                In der Vorlesung werde ich, ausgehend
                von der Eingabe des Beweissystems, einer Formel, bis hin zu
                seinem Resultat bei Terminierung, dem Beweis oder
                der saturierten und damit erfuellbaren Klauselmenge, die
                in dem SPASS-Beweissystem realisierten Techniken vorstellen und
                sie aus theoretischer, pragmatischer und Implementierungssicht
                diskutieren und demonstrieren.


Referees, Status, Dates
Status:Completed
First Lecture Title:Thema der Antrittsvorlesung: Techniken des automatischen Beweisens
Location of Lecture:Geb. 46.1 HS 019
Date Kolloquium:24 November 2000
Chair Kolloquium:Prof. Dr. R. Schulze-Ziemen

Correlation
MPG Unit:Max-Planck-Institut für Informatik
MPG Subunit:Programming Logics Group
Audience:experts only
Appearance:MPII WWW Server, MPII FTP Server, MPG publications list, working group publication list, Fachbeirat

BibTeX Entry:
@PHDTHESIS{Weidenbach2000habil,
AUTHOR = {Weidenbach, Christoph},
TITLE = {Entscheidbarkeitsprobleme f{\"u}r monadische (Horn)Klauselklassen},
SCHOOL = {Universit{\"a}t des Saarlandes, Naturwissenschaftlich-Technische Fakult{\"a}t},
YEAR = {2000},
TYPE = {Habilitation thesis}
MONTH = {June},
}



Entry last modified by Christine Kiesel, 03/12/2010
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Christoph Weidenbach
Created
03/18/2001 09:45:33 PM
Revisions
2.
1.
0.

Editor(s)
Christine Kiesel
Christine Kiesel
Christoph Weidenbach

Edit Dates
04.04.2001 03:53:03 PM
04.04.2001 03:47:00 PM
18/03/2001 21:45:33