Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Parallel Unit Resulting Resolution

Meyer, C. (1996). Parallel Unit Resulting Resolution. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ABF8-0 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-ACEF-8
Genre: Hochschulschrift

Dateien

einblenden: Dateien
ausblenden: Dateien
:
meyer.ps (beliebiger Volltext), 2MB
 
Datei-Permalink:
-
Name:
meyer.ps
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Privat
MIME-Typ / Prüfsumme:
application/postscript
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Meyer, Christoph1, Autor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: The term ``Parallel unit resulting resolution'' refers to a modified unit resulting resolution rule working on sets of substitutions. We modified the inference rule in order to investigate term indexing and to exploit parallelism in automated reasoning. Term indexing supports the construction of efficient automated reasoning systems by providing rapid access to first-order predicate calculus terms with specific properties. The theoretical background and the implementation of a theorem prover called {\sc Purr} which implements parallel unit resulting resolution as well as experiments with {\sc Purr} are presented in this thesis. The author addresses the reader interested in new indexing techniques and in distributed theorem proving.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-1219961996
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519610
Anderer: Local-ID: C1256104005ECAFC-CB093F8D8C5B3361C12562FA006018C0-Meyer-Diplom96
 Art des Abschluß: Master

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: