Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Doctoral dissertation | @PhdThesis{Meyer-Diss, ... | Doktorarbeit
Meyer, Christoph
Soft Typing for Clausal Inference Systems
Universität des Saarlandes, 1999
Completed
5
October
1999
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:
@PHDTHESIS{Meyer-Diss,
AUTHOR = {Meyer, Christoph},
TITLE = {Soft Typing for Clausal Inference Systems},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1999},
TYPE = {Doctoral dissertation}
}
AUTHOR = {Meyer, Christoph},
TITLE = {Soft Typing for Clausal Inference Systems},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1999},
TYPE = {Doctoral dissertation}
}
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 10/13/1999 05:09:20 PM |
| Revision 0. | Editor Christine Kiesel | Edit Date 13/10/99 17:13:00 |