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
15
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{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 |