Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template :: Thesis :: Ohlbach, Hans Jürgen


Publications Master Template
Show all entries of:this year (2019)last year (2018)two years ago (2017)Open in Notes
Action:login to update

Thesis - Doctoral dissertation | @PhdThesis | Doktorarbeit


Author
Author(s)*:Ohlbach, Hans Jürgen
BibTeX citekey*:Ohlbach88
Language:English

Title, School
Title*:A Resolution Calculus for Modal Logics
School:Universität Kaiserslautern
Type of Thesis*:Doctoral dissertation
Year:1988


Note, Abstract, Copyright

Referees, Status, Dates
Status:Completed
Date Kolloquium:16 September 2019

Correlation
MPG Unit:Max-Planck-Institut für Informatik
MPG Subunit:Programming Logics Group
Audience:experts only
Appearance: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}
}



Entry last modified by Uwe Brahm, 03/12/2010
Hide details for Edit History (please click the blue arrow to see the details)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