| # |  | Year | Author(s) [non member] | Editor(s) [non member] | | Title | Type | |
|---|
| 6 |
 | Gabbay, Dov M. |
| |
| 5 |
| |
| 4 |
| Gabbay, Dov (ed.) |
| |
| 2 |
| |
| 1 |
| Gaglio, S. (ed.) |
| |
| 1 |
| |
| 1 |
| Galmiche, Didier |
| |
| 1 |
| |
| 1 |
| Gamkrelidze, Alexander |
| |
| 1 |
| |
| 58 |
| Ganzinger, Harald |
| |
| 16 |
| |
| | 2002 | Hillenbrand, Thomas
Podelski, Andreas
Topić, Dalibor | Charatonik, Witold
Ganzinger, Harald |  | Is Logic Effective for Analyzing C Programs?
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 27-30 | Proceedings Article | |
| | 2002 | Kazakov, Yevgeny | Charatonik, Witold
Ganzinger, Harald | | Recursive resolution for modal logic
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 11-15 | Proceedings Article | |
| | 2002 | Maier, Patrick | Charatonik, Witold
Ganzinger, Harald | | A Framework for Circular Assume-Guarantee Rules
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 55-58 | Proceedings Article | |
| | 2000 | | [Furbach, Ulrich]
Ganzinger, Harald
[Hasegawa, Ryuzo]
[Kapur, Deepak] | | Deduction | Proceedings | |
| | 1999 | de Nivelle, Hans
[Areces, Carlos]
[de Rijke, Maarten] | Ganzinger, Harald | | Prefixed Resolution: A Resolution Method for Modal and Description Logics
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 187-201 | Proceedings Article | |
| | 1999 | | Ganzinger, Harald | | Proceedings of the 16th International Conference on Automated Deduction (CADE-16) | Proceedings | |
| | 1999 | | Ganzinger, Harald
[McAllester, David]
[Voronkov, Andrei] | | Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99) | Proceedings | |
| | 1999 | Hustadt, Ullrich
Schmidt, Renate A. | Ganzinger, Harald | | Maslov's Class K Revisited
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 172-186 | Proceedings Article | |
| | 1999 | Sofronie-Stokkermans, Viorica | Ganzinger, Harald | | On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 157-171 | Proceedings Article | |
| | 1999 | Waldmann, Uwe | Ganzinger, Harald
[McAllester, David]
[Voronkov, Andrei] | | Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups
In: Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99), 131-147 | Proceedings Article | |
| | 1999 | Weidenbach, Christoph
Afshordel, Bijan
Brahm, Uwe
Cohrs, Christian
Engel, Thorsten
Keen, Enno
Theobalt, Christian
Topić, Dalibor | Ganzinger, Harald | | System Description: SPASS Version 1.0.0
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 314-318 | Proceedings Article | |
| | 1999 | Weidenbach, Christoph | Ganzinger, Harald | | Towards an Automatic Analysis of Security Protocols in First-Order Logic
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 378-382 | Proceedings Article | |
| | 1996 | | Ganzinger, Harald | | Rewriting Techniques and Applications, 7th International Conference, RTA-96 | Proceedings | |
| | 1996 | Krishna Rao, M. R. K. | Ganzinger, Harald | | Modularity of termination in term graph rewriting
In: Rewriting Techniques and Applications, 230-244 | Proceedings Article | |
| | 1996 | Stuber, Jürgen | Ganzinger, Harald | | Superposition Theorem Proving for Abelian Groups Represented as Integer Modules
In: Rewriting Techniques and Applications, 7th International Conference, RTA-96, 33-47 | Proceedings Article | |
| | 1992 | Ganzinger, Harald
Stuber, Jürgen | Buchmann, J.
Ganzinger, Harald
Paul, W. J. | | Inductive theorem proving by consistency for first-order clauses
In: Informatik - Festschrift zum 60. Geburtstag von Günter Hotz, 441-462 | Part of a Book | |
| 1 |
| Gao, X-S. (ed.) |
| |
| 1 |
| |
