Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Master's thesis | @MastersThesis{Friedrich-Diplom98, ... | Masterarbeit
Friedrich, Stefan
Integration of a Decision Procedure for Second-Order Monadic Logic in a Higher-Order Logic Theorem Proving Environment
Universität des Saarlandes, April, 1998
Completed
3
May
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{Friedrich-Diplom98,
AUTHOR = {Friedrich, Stefan},
TITLE = {Integration of a Decision Procedure for Second-Order Monadic Logic in a Higher-Order Logic Theorem Proving Environment},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1998},
TYPE = {Master's thesis}
MONTH = {April},
}
AUTHOR = {Friedrich, Stefan},
TITLE = {Integration of a Decision Procedure for Second-Order Monadic Logic in a Higher-Order Logic Theorem Proving Environment},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1998},
TYPE = {Master's thesis}
MONTH = {April},
}
Entry last modified by Uwe Brahm, 03/12/2010
Edit History (please click the blue arrow to see the details) | Editor(s) Christine Kiesel | Created 03/31/1999 05:25:13 PM |
| Revisions 3. 2. 1. 0. | Editor(s) Uwe Brahm Christine Kiesel Christine Kiesel Christine Kiesel | Edit Dates 04/14/99 05:56:37 PM 31/03/99 17:33:47 31/03/99 17:30:59 31/03/99 17:27:09 |