Effiziente Subsumption in Deduktionssystemen

Becker, Joachim

Local TagsRelease HistoryDetailsSummary

Effiziente Subsumption in Deduktionssystemen

Becker, J. (1994). Effiziente Subsumption in Deduktionssystemen. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AD79-B Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-AD27-2

Genre: Thesis

Files

show Files

hide Files

:

becker.ps (Any fulltext), 736KB

File Permalink:
-

Name:
becker.ps

Description:
-

OA-Status:

Visibility:
Private

MIME-Type / Checksum:
application/postscript

Technical Metadata:

Copyright Date:
-

Copyright Info:
-

License:
-

Locators

show

Creators

show

hide

Creators:
Becker, Joachim¹, Author

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, Campus E1 4, 66123 Saarbrücken, DE, ou_40045

Content

show

hide

Free keywords: -

Abstract: Es wurden Datenstrukturen und Algorithmen in der Programmiersprache C entwickelt, die einen effizienten Subsumptionstest auf Klauseln für einen Resolutionsbeweiser ermöglichen. Die benötigten Datenstrukturen, mit deren Hilfe man den Subsumptionstest von Term- auf Klauselebene liften kann, wurden in einer "Black-Box" zum Aufbewahren von Klauseln zusammengefaßt.

Details

show

hide

Language(s): deu - German

Dates: Modified: 2010-03-12Accepted: 1994Date issued: 1994

Publication Status: Issued

Pages: -

Publishing info: Saarbrücken : Universität des Saarlandes

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519624
Other: Local-ID: C1256104005ECAFC-E03D22F56DADD560412563EC0079F790-Becker94

Degree: Master

Event

show

Legal Case

show

Project information

show

Source

show