@ARTICLE{Ohlbach93c,
AUTHOR = {Ohlbach, Hans J{\"u}rgen},
TITLE = {Translation Methods for Non-Classical Logics: An Overview},
JOURNAL = {Bulletin of the Interest Group in Propositional and Predicate Logics (IGPL)},
YEAR = {1993},
NUMBER = {1},
VOLUME = {1},
PAGES = {69--90},
NOTE = {A short version appeared in Proc.~LPAR '93, vol. 698 of Lecture Notes in Computer Science, pp.~253-264, Springer-Verlag, Berlin. Also available as Technical Report MPI-I-93-225},
}
Entry last modified by Uwe Brahm/MPII/DE, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Hans Jürgen Ohlbach | Created
02/06/1995 05:56:20 PM |
Revisions
6.
5.
4.
3.
2. | Editor(s)
Uwe Brahm/MPII/DE
Hans Jürgen Ohlbach/AG2/MPII/DE
Hans Jürgen Ohlbach/AG2/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE | Edit Dates
10/02/95 17:19:45
03/02/95 10:00:32
31/01/95 15:21:23
21/01/95 20:54:47
18/01/95 19:27:18 |