Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Master's thesis | @MastersThesis{GrafDipl1992, ... | Masterarbeit
Graf, Peter
Unification Using Dynamic Sorts
Universität des Saarlandes, 1992
Richter
Weidenbach (Kaiserslautern)
Completed
20
April
2001
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{GrafDipl1992,
AUTHOR = {Graf, Peter},
TITLE = {Unification Using Dynamic Sorts},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1992},
TYPE = {Master's thesis}
}
AUTHOR = {Graf, Peter},
TITLE = {Unification Using Dynamic Sorts},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1992},
TYPE = {Master's thesis}
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details) | Editor(s) Christine Kiesel | Created 04/20/2001 05:28:00 PM |
| Revision 0. | Editor Christine Kiesel | Edit Date 20.04.2001 05:33:17 PM |