| # |  | Year | | Title | Type | |
|---|
| 6 |
![Hide details for Ganzinger [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=1) | Ganzinger [-] |
| |
| | 2001 | | Efficient deductive methods for program analysis
In: ACM SIGPLAN Notices [36], 102-103 | Journal Article | |
| | 1998 | | Preface
In: Theoretical Computer Science [208], 1 | Journal Article | |
| | 1996 | | Saturation-based theorem proving (abstract)
In: Automata, Languages and Programming: International Colloquium (ICALP-23), 1-3 | Proceedings Article | |
| | 1994 | | The Saturate System | Unpublished/Draft | |
| | 1991 | | A completion procedure for conditional equations
In: Journal of Symbolic Computation [11], 51-81 | Journal Article | |
| | 1991 | | Order-Sorted Completion: The Many-Sorted Way
In: Theoretical Computer Science [89], 3-32 | Journal Article | |
| 1 |
![Show details for Ganzinger [Danvy, Filinski]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | 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] |
| |
| 1 |
| Ganzinger, Nieuwenhuis, Nivela [Nieuwenhuis, Nivela] |
| |
| 1 |
| Ganzinger, Sofronie-Stokkermans [-] |
| |
| 2 |
| Ganzinger, Sofronie-Stokkermans, Waldmann [-] |
| |
| 1 |
| |
