Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Master's thesis | @MastersThesis{Becker94, ... | Masterarbeit - German
Becker, Joachim
Effiziente Subsumption in Deduktionssystemen
Universität des Saarlandes, May, 1994
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.
Joachim Becker obtained his Diploma in Computer Science from Saarland University in May 1994. The
supervisors of the work were Hans Jürgen Ohlbach and Peter Graf.
Hans Jürgen Ohlbach
Completed
3
May
2024
Max-Planck-Institut für Informatik
Programming Logics Group
experts only
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat
BibTeX Entry:
@MASTERSTHESIS{Becker94,
AUTHOR = {Becker, Joachim},
TITLE = {Effiziente Subsumption in Deduktionssystemen},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1994},
TYPE = {Master's thesis}
MONTH = {May},
}
AUTHOR = {Becker, Joachim},
TITLE = {Effiziente Subsumption in Deduktionssystemen},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1994},
TYPE = {Master's thesis}
MONTH = {May},
}
Entry last modified by Uwe Brahm, 03/12/2010
Edit History (please click the blue arrow to see the details) | Editor(s) Uwe Brahm | Created 11/24/1996 11:12:12 PM |
| Revisions 3. 2. 1. 0. | Editor(s) Uwe Brahm Christine Kiesel Christine Kiesel Uwe Brahm | Edit Dates 03/23/98 06:58:35 PM 17/03/98 12:10:38 17/03/98 12:09:45 24/11/96 23:15:12 |