Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Master's thesis | @MastersThesis{Christen97, ... | Masterarbeit
Christen, Michael
A Calculus of Simplification for Superposition
Universität des Saarlandes, 1997
Harald Ganzinger
Jürgen Stuber
Completed
28
April
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{Christen97,
AUTHOR = {Christen, Michael},
TITLE = {A Calculus of Simplification for Superposition},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1997},
TYPE = {Master's thesis}
}
AUTHOR = {Christen, Michael},
TITLE = {A Calculus of Simplification for Superposition},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1997},
TYPE = {Master's thesis}
}
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 01/28/1998 01:53:08 PM |
| Revision 1. 0. | Editor Uwe Brahm Uwe Brahm | Edit Date 30.01.98 14:21:01 28.01.98 13:59:26 |