@ARTICLE{GabbayOhlbach92c,
AUTHOR = {Gabbay, Dov M. and Ohlbach, Hans J{\"u}rgen},
TITLE = {Quantifier Elimination in Second-Order Predicate Logic},
JOURNAL = {South African Computer Journal},
YEAR = {1992},
VOLUME = {7},
PAGES = {35--43},
NOTE = {Also appeared in Proc.~3rd Intern.~Conference on Principles of Knowledge Representation and Reasoning, editors: B. Nebel, C. Rich and W. Swartout, pp.~425-435, Morgan Kaufmann, 1992. Also available as Research Report MPI-I-92-213},
}
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
8.
7.
6.
5.
4. | Editor(s)
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Hans Jürgen Ohlbach/AG2/MPII/DE
Hans Jürgen Ohlbach/AG2/MPII/DE
Hans Jürgen Ohlbach/AG2/MPII/DE | Edit Dates
10/02/95 17:20:08
10/02/95 17:01:49
10/02/95 16:59:52
03/02/95 10:01:04
31/01/95 15:34:12 |