| | 2001 | Nonnengart, Andreas
[Ohlbach, Hans Jürgen]
[Gabbay, Dov M.] | | Encoding two-valued non-classical logics in classic logic
In: Handbook of Automated Reasoning, 1403-1486 | Part of a Book | |
| | 1994 | [Brink, Chris]
Gabbay, Dov M.
Ohlbach, Hans Jürgen | | Towards Automating Duality
In: Journal of Computers and Mathematics with Applications [29], 73-90 | Journal Article | |
| | 1992 | Gabbay, Dov M.
Ohlbach, Hans Jürgen | | From a Hilbert Calculus to its Model Theoretic Semantics
In: Proc.~4th Annual UK Conference on Logic Programming (APULK '92), 218-252 | Proceedings Article | |
| | 1992 | Gabbay, Dov M.
Ohlbach, Hans Jürgen | | Quantifier Elimination in Second-Order Predicate Logic
In: South African Computer Journal [7], 35-43 | Journal Article | |
| | 1991 | Cunningham, J.
Gabbay, Dov M.
Ohlbach, Hans Jürgen | | Towards the MEDLAR Framework
In: ESPRIT '91 Conference Proceedings, 822-841 | Proceedings Article | |
1 |
| Giunchiglia, Enrico (ed.) |
| |