BibTeX cite key | Author/Editor | Year | | Title | Type |
GabbayOhlbach92b | Gabbay, Dov M.
Ohlbach, Hans Jürgen | 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 |
GabbayOhlbach92c | Gabbay, Dov M.
Ohlbach, Hans Jürgen | 1992 | | Quantifier Elimination in Second-Order Predicate Logic
In: South African Computer Journal [7], 35-43 | Journal Article |
GabbayOhlbach92cKR | Gabbay, Dov M.
Ohlbach, Hans Jürgen | 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 |
Gaede95-Mastersthesis | Gaede, Bernd | 1995 | | Superposition Extended with Sorts
Universität Kaiserslautern | Thesis - Masters thesis |
GaillourdetHillenbrandLoechner2003 | Gaillourdet, Jean-Marie
Hillenbrand, Thomas
Löchner, Bernd
Spies, Hendrik | 2003 | | The New WALDMEISTER Loop at Work
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 317-321 | Proceedings Article |
Gamkrelidze-Thesis-2001 | Gamkrelidze, Alexander | 2001 | | Einige Optimierungsmethoden hierarchischer Schaltkreise
Universität des Saarlandes | Thesis - PhD thesis |
GanHNOT-CAV-04 | Ganzinger, Harald
Hagen, George
Nieuwenhuis, Robert
Oliveras, Albert
Tinelli, Cesare | 2004 | | DPLL(T): Fast Decision Procedures
In: Computer aided verification : 16th International Conference, CAV 2004, 175-188 | Proceedings Article |
GanKor:ThInst:2006 | Ganzinger, Harald
Korovin, Konstantin | 2006 | | Theory Instantiation
In: 13th Conference on Logic for Programming Artificial Intelligence Reasoning (LPAR'06), 497-511 | Proceedings Article |
Ganzinger-01-lics | Ganzinger, Harald | 2001 | | Relating Semantic and Proof-Theoretic Concepts for Polynomial Time Decidability of Uniform Word Problems
In: Proceedings of the 16th IEEE Symposium on Logic in Computer Science (LICS-01), 81-90 | Proceedings Article |
Ganzinger-02-cade | Ganzinger, Harald | 2002 | | Shostak Light
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 332-346 | Proceedings Article |
Ganzinger-91-jsc | Ganzinger, Harald | 1991 | | A completion procedure for conditional equations
In: Journal of Symbolic Computation [11], 51-81 | Journal Article |
Ganzinger-91-tcs | Ganzinger, Harald | 1991 | | Order-Sorted Completion: The Many-Sorted Way
In: Theoretical Computer Science [89], 3-32 | Journal Article |
Ganzinger-94-sat | Ganzinger, Harald | 1994 | | The Saturate System | Unpublished/Draft |
Ganzinger-ed-cade-1999 | Ganzinger (ed.) | 1999 | | Proceedings of the 16th International Conference on Automated Deduction (CADE-16) | Proceedings |
Ganzinger-et-al-00-AIML | Ganzinger, Harald
Hustadt, Ullrich
Meyer, Christoph
Schmidt, Renate A. | 2001 | | A Resolution-Based Decision Procedure for Extensions of K4
In: Advances in Modal Logic, Volume 2, 225-246 | Part of a Book |
Ganzinger-et-al-01-Dagstuhl | Furbach, Ganzinger, Hasegawa, Kapur (ed.) | 2000 | | Deduction | Proceedings |
Ganzinger-SofronieStokkermans-Waldmann-ijcar-2004 | Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe | 2004 | | Modular Proof Systems for Partial Functions with Weak Equality
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 168-182 | Proceedings Article |
Ganzinger-Stuber-ic-05 | Ganzinger, Harald
Stuber, Jürgen | 2005 | | Superposition with equivalence reasoning and delayed clause normal form transformation
In: Information and Computation [199], 3-23 | Journal Article |
Ganzinger1999LPAR | Ganzinger, McAllester, Voronkov (ed.) | 1999 | | Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99) | Proceedings |
Ganzinger2003a | Ganzinger, Harald | 2001 | | Bottom-Up Deduction with Deletion and Priorities
In: Programs as Data Objects (PADO-01) : Second Symposium PADO 2001, 276-277 | Proceedings Article |
Ganzinger96-ICALP-23 | Ganzinger, Harald | 1996 | | Saturation-based theorem proving (abstract)
In: Automata, Languages and Programming: International Colloquium (ICALP-23), 1-3 | Proceedings Article |
Ganzinger98 | Ganzinger, Harald | 1998 | | Preface
In: Theoretical Computer Science [208], 1 | Journal Article |
GanzingerHillenbrandWaldmann2003 | Ganzinger, Harald
Hillenbrand, Thomas
Waldmann, Uwe | 2003 | | Superposition modulo a Shostak Theory
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 182-196 | Proceedings Article |
GanzingerJacquemardVeanes-00-ijfcs | Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus | 2000 | | Rigid Reachability: The Non-Symmetric Form of Rigid E-unification
In: International Journal of Foundations of Computer Science [11], 3-27 | Journal Article |
GanzingerJacquemardVeanes-98 | Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus | 1998 | | Rigid Reachability
In: Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science (ASIAN-98), 4-21 | Proceedings Article |
GanzingerKorovin-03-lics | Ganzinger, Harald
Korovin, Konstantin | 2003 | | New Directions in Instantiation-Based Theorem Proving
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 55-64 | Proceedings Article |
GanzingerMcAllester-01-ijcar | Ganzinger, Harald
McAllester, David | 2001 | | A new meta-complexity theorem for bottom-up logic programs
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 514-528 | Proceedings Article |
GanzingerMcAllester-02-iclp | Ganzinger, Harald
McAllester, David | 2002 | | Logical Algorithms
In: Logic Programming. 18th International Conference, ICLP 2002, 209-223 | Proceedings Article |
GanzingerMeyerVeanes-99-lics | Ganzinger, Harald
Meyer, Christoph
Veanes, Margus | 1999 | | The Two-Variable Guarded Fragment with Transitive Relations
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 24-34 | Proceedings Article |
GanzingerMeyerWeidenbach-97-cade | Ganzinger, Harald
Meyer, Christoph
Weidenbach, Christoph | 1997 | | Soft Typing for Ordered Resolution
In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), 321-335 | Proceedings Article |