Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template :: Thesis :: Smaus, Jan-Georg


Publications Master Template
Show all entries of:this year (2019)last year (2018)two years ago (2017)Open in Notes
Action:login to update

Thesis - Master's thesis | @MastersThesis | Masterarbeit


Author
Author(s)*:Smaus, Jan-Georg
BibTeX citekey*:Smaus96
Language:English

Title, School
Title*:Finding Resolution K-Transformations
School:Universität des Saarlandes
Type of Thesis*:Master's thesis
Month:March
Year:1996


Note, Abstract, Copyright
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
LaTeX Abstract: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.

Referees, Status, Dates
Status:Completed
Date Kolloquium:17 October 2019

Correlation
MPG Unit:Max-Planck-Institut für Informatik
MPG Subunit:Programming Logics Group
Audience:experts only
Appearance: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},
}



Entry last modified by Christine Kiesel, 03/12/2010
Hide details for Edit History (please click the blue arrow to see the details)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