Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Doctoral dissertation | @PhdThesis{Weidenbach96e, ... | Doktorarbeit
Weidenbach, Christoph
Computational Aspects of a First-Order Logic with Sorts
Universität des Saarlandes, 1996
Completed
20
December
1997
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, CCL bibliography
BibTeX Entry:
@PHDTHESIS{Weidenbach96e,
AUTHOR = {Weidenbach, Christoph},
TITLE = {Computational Aspects of a First-Order Logic with Sorts},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1996},
TYPE = {Doctoral dissertation}
}
AUTHOR = {Weidenbach, Christoph},
TITLE = {Computational Aspects of a First-Order Logic with Sorts},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1996},
TYPE = {Doctoral dissertation}
}
Entry last modified by Christoph Weidenbach, 03/12/2010
Edit History (please click the blue arrow to see the details) | Editor(s) Christoph Weidenbach | Created 03/12/1997 10:42:36 AM |
| Revision 0. | Editor Christoph Weidenbach | Edit Date 12/03/97 10:42:37 |