# | | 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 |
| |
| | 2006 | Ganzinger, Harald
[Korovin, Konstantin] | [Hermann, Miki]
[Voronkov, Andrei] | | Theory Instantiation
In: 13th Conference on Logic for Programming Artificial Intelligence Reasoning (LPAR'06), 497-511 | Proceedings Article | |
| | 2006 | Ganzinger, Harald
[Korovin, Konstantin] | [Hermann, Miki]
[Voronkov, Andrei] | | Theory Instantiation
In: Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, 497-511 | Proceedings Article | |
| | 2006 | Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe | | | Modular Proof Systems for Partial Functions with Evans Equality
In: Information and Computation [204], 1453-1492 | Journal Article | |
| | 2005 | Ganzinger, Harald
[Stuber, Jürgen] | | | Superposition with equivalence reasoning and delayed clause normal form transformation
In: Information and Computation [199], 3-23 | Journal Article | |
| | 2004 | Ganzinger, Harald
[Hagen, George]
[Nieuwenhuis, Robert]
[Oliveras, Albert]
[Tinelli, Cesare] | [Alur, Rajeev]
[Peled, Doron] | | DPLL(T): Fast Decision Procedures
In: Computer aided verification : 16th International Conference, CAV 2004, 175-188 | Proceedings Article | |
| | 2004 | Ganzinger, Harald
Korovin, Konstantin | [Marcinkowski, Jerzy]
[Tarlecki, Andrzej] | | Integration of equational reasoning into instantiation-based theorem proving
In: Computer science logic : 18th International Workshop CSL 2004, 13th Annual Conference of the EACSL, 71-84 | Proceedings Article | |
| | 2004 | Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar] | | | Fast Term Indexing with Coded Context Trees
In: Journal of Automated Reasoning [32], 103-120 | Journal Article | |
| | 2004 | Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe | Basin, David
Rusinowitch, Michael | | Modular Proof Systems for Partial Functions with Weak Equality
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 168-182 | Proceedings Article | |
| | 2003 | Ganzinger, Harald
Hillenbrand, Thomas
Waldmann, Uwe | [Baader, Franz] | | Superposition modulo a Shostak Theory
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 182-196 | Proceedings Article | |
| | 2003 | Ganzinger, Harald
Korovin, Konstantin | [Kolaitis, Phokion] | | New Directions in Instantiation-Based Theorem Proving
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 55-64 | Proceedings Article | |
| | 2003 | Ganzinger, Harald
[Stuber, Jürgen] | Baader, Franz | | Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 335-349 | Proceedings Article | |
| | 2002 | Ganzinger, Harald
[McAllester, David] | [Stuckey, Peter J.] | | Logical Algorithms
In: Logic Programming. 18th International Conference, ICLP 2002, 209-223 | Proceedings Article | |
| | 2002 | Ganzinger, Harald | [Voronkov, Andrei] | | Shostak Light
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 332-346 | Proceedings Article | |
| | 2001 | Bachmair, Leo
Ganzinger, Harald | [Robinson, J. A.]
[Voronkov, A.] | | Resolution Theorem Proving
In: Handbook of Automated Reasoning, 19-99 | Part of a Book | |
| | 2001 | [Basin, David A.]
Ganzinger, Harald | | | Automated Complexity Analysis Based on Ordered Resolution
In: Journal of the ACM [48], 70-109 | Journal Article | |
| | 2001 | Ganzinger, Harald | | | Efficient deductive methods for program analysis
In: ACM SIGPLAN Notices [36], 102-103 | Journal Article | |
| | 2001 | Ganzinger, Harald | [Danvy, Olivier]
[Filinski, Andrzej] | | Bottom-Up Deduction with Deletion and Priorities
In: Programs as Data Objects (PADO-01) : Second Symposium PADO 2001, 276-277 | Proceedings Article | |
| | 2001 | Ganzinger, Harald
Hustadt, Ullrich
Meyer, Christoph
Schmidt, Renate A. | [Zakharyaschev, Michael]
[Segerberg, Krister]
[de Rijke, Maarten]
[Wansing, Heinrich] | | A Resolution-Based Decision Procedure for Extensions of K4
In: Advances in Modal Logic, Volume 2, 225-246 | Part of a Book | |
| | 2001 | Ganzinger, Harald
[McAllester, David] | [Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias] | | A new meta-complexity theorem for bottom-up logic programs
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 514-528 | Proceedings Article | |