Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Doctoral dissertation | @PhdThesis{Ohlbach88, ... | Doktorarbeit
Ohlbach, Hans Jürgen
A Resolution Calculus for Modal Logics
Universität Kaiserslautern, 1988
Completed
13
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:
@PHDTHESIS{Ohlbach88,
AUTHOR = {Ohlbach, Hans J{\"u}rgen},
TITLE = {A Resolution Calculus for Modal Logics},
SCHOOL = {Universit{\"a}t Kaiserslautern},
YEAR = {1988},
TYPE = {Doctoral dissertation}
}
AUTHOR = {Ohlbach, Hans J{\"u}rgen},
TITLE = {A Resolution Calculus for Modal Logics},
SCHOOL = {Universit{\"a}t Kaiserslautern},
YEAR = {1988},
TYPE = {Doctoral dissertation}
}
Entry last modified by Uwe Brahm, 03/12/2010
Edit History (please click the blue arrow to see the details) | Editor(s) Renate A. Schmidt | Created 04/14/1997 04:14:23 PM |
| Revisions 2. 1. 0. | Editor(s) Uwe Brahm Uwe Brahm Renate A. Schmidt | Edit Dates 04/27/99 09:43:24 PM 14.04.97 17:01:59 14/04/97 16:14:24 |