English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 DetailsSummary
  Entscheidbarkeitsprobleme für monadische (Horn)Klauselklassen

Weidenbach, C. (2000). Entscheidbarkeitsprobleme für monadische (Horn)Klauselklassen. Habilitation Thesis, Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät, Saarbrücken.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-331D-D Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-ACD3-4
Genre: Thesis

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Weidenbach, Christoph1, 2, Author           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 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.

Details

show
hide
Language(s): deu - German
 Dates: 2010-03-122000-11-242000
 Publication Status: Issued
 Pages: -
 Publishing info: Saarbrücken : Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519861
Other: Local-ID: C1256104005ECAFC-278C6FC049505963C1256A13007208D0-Weidenbach2000habil
 Degree: Habilitation

Event

show

Legal Case

show

Project information

show

Source

show