Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Master's thesis | @MastersThesis{Smaus96, ... | Masterarbeit
Smaus, Jan-Georg
Finding Resolution K-Transformations
Universität des Saarlandes, March, 1996
Jan-Georg Smaus obtained his Diploma in Computer Science from Saarland University in March 1996.
The supervisor of the work was Hans Jürgen Ohlbach
Resolution K-transformations are faithful transformations between clause sets. The aim is to remove
clauses like symmetry or transitivity from a clause set in order to eliminate or reduce recursivity and
circularity in this clause set. It is shown that for any set of such clauses, a resolution K-transformation
is likely to exist and can be found automatically. Clause K-transformations may be applied to reduce
the search space of theorem provers, to eliminate loops in logic programs, to parallelise closure
computation algorithms and to support automated complexity analysis.
Completed
2
June
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{Smaus96,
AUTHOR = {Smaus, Jan-Georg},
TITLE = {Finding Resolution K-Transformations},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1996},
TYPE = {Master's thesis}
MONTH = {March},
NOTE = {Jan-Georg Smaus obtained his Diploma in Computer Science from Saarland University in March 1996. The supervisor of the work was Hans Jürgen Ohlbach},
}
AUTHOR = {Smaus, Jan-Georg},
TITLE = {Finding Resolution K-Transformations},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1996},
TYPE = {Master's thesis}
MONTH = {March},
NOTE = {Jan-Georg Smaus obtained his Diploma in Computer Science from Saarland University in March 1996. The supervisor of the work was Hans Jürgen Ohlbach},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details) | Editor(s) Uwe Brahm | Created 11/24/1996 11:58:30 PM |
| Revision 1. 0. | Editor Christine Kiesel Uwe Brahm | Edit Date 16/03/98 16:17:07 25/11/96 00:00:51 |