# | | Year | | Title | Type | |
1 |
| Gabbay, Kruse, Nonnengart, Ohlbach (ed.) [Gabbay, Kruse] |
| |
1 |
| Gabbay, Ohlbach (ed.) [-] |
| |
3 |
| Gabbay, Ohlbach [-] |
| |
| | 1992 | | 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 | | Quantifier Elimination in Second-Order Predicate Logic
In: Principles of Knowledge Representation and Reasoning (KR92),, 425-435
In: South African Computer Journal [7], 425-435 | Proceedings Article | |
| | 1992 | | Quantifier Elimination in Second-Order Predicate Logic
In: South African Computer Journal [7], 35-43 | Journal Article | |
1 |
| Gaede [-] |
| |
1 |
| Gaillourdet, Hillenbrand, Löchner, Spies [Gaillourdet, Löchner, Spies, Baader, Baader] |
| |
1 |
| Gamkrelidze [-] |
| |
2 |
| |
6 |
| Ganzinger [-] |
| |
1 |
| Ganzinger [Danvy, Filinski] |
| |
1 |
| Ganzinger [Voronkov] |
| |
1 |
| |
1 |
| Ganzinger, de Nivelle [Longo] |
| |
1 |
| Ganzinger, Hagen, Nieuwenhuis, Oliveras, Tinelli [Hagen, Nieuwenhuis, Oliveras, Tinelli, Alur, Peled] |
| |
1 |
| Ganzinger, Hillenbrand, Waldmann [Baader] |
| |
1 |
| Ganzinger, Hustadt, Meyer, Schmidt [Zakharyaschev, Segerberg, de Rijke, Wansing] |
| |
1 |
| Ganzinger, Jacquemard, Veanes [Hsiang, Ohori] |
| |
1 |
| Ganzinger, Jacquemard, Veanes [Jacquemard, Veanes] |
| |
1 |
| Ganzinger, Korovin [Kolaitis] |
| |
2 |
| Ganzinger, Korovin [Korovin, Hermann, Voronkov] |
| |
1 |
| Ganzinger, Korovin [Marcinkowski, Tarlecki] |
| |
1 |
| Ganzinger, McAllester [McAllester, Goré, Leitsch, Nipkow] |
| |
1 |
| Ganzinger, McAllester [McAllester, Stuckey] |
| |
1 |
| Ganzinger, McAllester, Voronkov (ed.) [McAllester, Voronkov] |
| |
1 |
| Ganzinger, Meyer, Veanes [Longo] |
| |
1 |
| Ganzinger, Meyer, Weidenbach [McCune] |
| |
1 |
| Ganzinger, Nieuwenhuis [Nieuwenhuis, Comon, Marché, Treinen] |
| |
1 |
| Ganzinger, Nieuwenhuis, Nivela [Nieuwenhuis, Nivela, Goré, Leitsch, Nipkow] |
| |