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

Publications Master Template :: Thesis :: Meyer, Christoph


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)*:Meyer, Christoph
BibTeX citekey*:Meyer-Diplom96
Language:English

Title, School
Title*:Parallel Unit Resulting Resolution
School:Universität des Saarlandes
Type of Thesis*:Master's thesis
Month:February
Year:1996


Note, Abstract, Copyright
LaTeX Abstract:The term ``Parallel unit resulting resolution'' refers to a modified unit resulting resolution rule working on sets of substitutions. We modified the inference rule in order to investigate term indexing and to exploit parallelism in automated reasoning. Term indexing supports the construction of efficient automated reasoning systems by providing rapid access to first-order predicate calculus terms with specific properties. The theoretical background and the implementation of a theorem prover called {\sc Purr} which implements parallel unit resulting resolution as well as experiments with {\sc Purr} are presented in this thesis. The author addresses the reader interested in new indexing techniques and in distributed theorem proving.

Referees, Status, Dates
Status:Completed
Date Kolloquium:12 March 1997

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, working group publication list, CCL bibliography

BibTeX Entry:

@MASTERSTHESIS{Meyer-Diplom96,
AUTHOR = {Meyer, Christoph},
TITLE = {Parallel Unit Resulting Resolution},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1996},
TYPE = {Master's thesis}
PAGES = {104},
MONTH = {February},
}



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
03/27/1996 06:29:37 PM
Revisions
8.
7.
6.
5.
4.
Editor(s)
Christine Kiesel
Uwe Brahm
Uwe Brahm
Uwe Brahm
Uwe Brahm
Edit Dates
09/04/99 14:41:08
22.10.98 20:31:49
22.10.98 20:30:07
22.10.98 20:27:18
22.10.98 20:22:05