EVA STAR Trefferanzeige

Volltext Volltext.pdf1.pdf (590 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA273962
Titel Vergleich und Analyse von Ordnungseinschränkungen für freie Variablen Tableau.
Autor Pape, Christian
Institution Fakultät für Informatik (INFORMATIK)
Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Dokumenttyp Buch
Jahr 1996
Erscheinungsvermerk Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,30.)
Abstract
In dieser Arbeit untersuchen wir einige Erweiterungen
geordneter Tableaus: die Ordnung auf Atomen wird durch das
allgemeinere Konzept einer Auswahlfunktion ersetzt; die
Substitutivit”t, welche f¸r das liften notwendig ist, kann
f¸r bestimmte Varianten des Kalk¸ls durch eine schw”chere
Eigenschaft ersetzt werden; und eine ersten Version geordneter
Tableaus mit Theorien wird eingef¸hrt. Wir zeigen die
Korrektheit und Vollst”ndigkeit der resultierenden Kalk¸le.
Desweiteren berichten wir ¸ber unsere Experimente, welche
wir mit einer prototypischen Implementierung durchgef¸hrt haben,
und zeigen f¸r welche Problemklassen sich geordnete Tableaus
sinnvoll einsetzen lassen.