| # |  | Year | Author(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
Sofronie-Stokkermans, Viorica
Waldmann, Uwe | | Modular Proof Systems for Partial Functions with Evans Equality
In: Information and Computation [204], 1453-1492 | Journal Article | |
| | 2006 | Ganzinger, Harald
[Korovin, Konstantin] | | Theory Instantiation
In: 13th Conference on Logic for Programming Artificial Intelligence Reasoning (LPAR'06), 497-511 | Proceedings Article | |
| | 2006 | Ganzinger, Harald
[Korovin, Konstantin] | | Theory Instantiation
In: Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, 497-511 | Proceedings 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] | | DPLL(T): Fast Decision Procedures
In: Computer aided verification : 16th International Conference, CAV 2004, 175-188 | 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
Korovin, Konstantin | | 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
Sofronie-Stokkermans, Viorica
Waldmann, Uwe | | 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
Korovin, Konstantin | | 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
Hillenbrand, Thomas
Waldmann, Uwe | | Superposition modulo a Shostak Theory
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 182-196 | Proceedings Article | |
| | 2003 | Ganzinger, Harald
[Stuber, Jürgen] | | 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] | | Logical Algorithms
In: Logic Programming. 18th International Conference, ICLP 2002, 209-223 | Proceedings Article | |
| | 2002 | Ganzinger, Harald | | Shostak Light
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 332-346 | Proceedings Article | |
| | 2001 | Ganzinger, Harald
[McAllester, David] | | A new meta-complexity theorem for bottom-up logic programs
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 514-528 | Proceedings Article | |
| | 2001 | Ganzinger, Harald
Hustadt, Ullrich
Meyer, Christoph
Schmidt, Renate A. | | A Resolution-Based Decision Procedure for Extensions of K4
In: Advances in Modal Logic, Volume 2, 225-246 | 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 | | 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
[Nieuwenhuis, Robert] | | Constraints and Theorem Proving
In: Contraints in Computational Logics, International Summer School (CCL-99), 159-201 | Proceedings Article | |
| | 2001 | Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar] | | Context trees
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 242-256 | Proceedings Article | |
