Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Master's thesis | @MastersThesis{Timm97, ... | Masterarbeit
Timm, Jan-Georg
Testing the Satisfiability of RPO Constraints
Universität des Saarlandes, October, 1997
Public
Download File(s):
Ganzinger, Harald
Siekmann, Jörg
Weidenbach, Christoph
Completed
14
May
2024
Max-Planck-Institut für Informatik
Programming Logics Group
Expert
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat
BibTeX Entry:
@MASTERSTHESIS{Timm97,
AUTHOR = {Timm, Jan-Georg},
TITLE = {Testing the Satisfiability of RPO Constraints},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1997},
TYPE = {Master's thesis}
MONTH = {October},
}
AUTHOR = {Timm, Jan-Georg},
TITLE = {Testing the Satisfiability of RPO Constraints},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1997},
TYPE = {Master's thesis}
MONTH = {October},
}
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 02/26/1998 04:05:44 PM |
| Revisions 3. 2. 1. 0. | Editor(s) Uwe Brahm Jan-Georg Timm Christine Kiesel Uwe Brahm | Edit Dates 2007-07-02 14:49:58 27/04/2000 13:53:15 17/03/98 11:55:10 02/26/98 04:05:06 PM |