BibTeX cite key | Author/Editor | Year | | Title | Type |
GanzingerNieuwenhuisNivela-03-jar | Ganzinger, Harald
Nieuwenhuis, Robert
Nivela, Pilar | 2004 | | Fast Term Indexing with Coded Context Trees
In: Journal of Automated Reasoning [32], 103-120 | Journal Article |
GanzingerNivelle-99-lics | Ganzinger, Harald
de Nivelle, Hans | 1999 | | A Superposition Decision Procedure for the Guarded Fragment with Equality
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 295-303 | Proceedings Article |
GanzingerRTA96 | Ganzinger (ed.) | 1996 | | Rewriting Techniques and Applications, 7th International Conference, RTA-96 | Proceedings |
GanzingerSofronie-Stokkermans-00-ismvl | Ganzinger, Harald
Sofronie-Stokkermans, Viorica | 2000 | | Chaining Techniques for Automated Theorem Proving in Many-Valued Logics
In: Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL-00), 337-344 | Proceedings Article |
GanzingerStuber-2003-cade | Ganzinger, Harald
Stuber, Jürgen | 2003 | | 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 |
GanzingerStuber-92 | Ganzinger, Harald
Stuber, Jürgen | 1992 | | 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 |
GanzingerWaldmann-92-ctrs | Ganzinger, Harald
Waldmann, Uwe | 1992 | | Termination Proofs of Well-Moded Logic Programs Via Conditional Rewrite Systems
In: Proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems '92, 430-437 | Proceedings Article |
GanzingerWaldmann1996CADE | Ganzinger, Harald
Waldmann, Uwe | 1996 | | Theorem Proving in Cancellative Abelian Monoids (Extended Abstract)
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 388-402 | Proceedings Article |
Ganzinger:2001:EDM | Ganzinger, Harald | 2001 | | Efficient deductive methods for program analysis
In: ACM SIGPLAN Notices [36], 102-103 | Journal Article |
GanzKor:InstEq:2004 | Ganzinger, Harald
Korovin, Konstantin | 2004 | | 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 |
GeorgievaHustadtSchmidt02b | Georgieva, Lilia
Hustadt, Ullrich
Schmidt, Renate A. | 2002 | | A New Clausal Class Decidable by Hyperresolution
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 260-274 | Proceedings Article |
GeorgievaHustadtSchmidt02c | Georgieva, Lilia
Hustadt, Ullrich
Schmidt, Renate A. | 2002 | | A New Clausal Class Decidable by Hyperresolution | Report |
GeorgievaHustadtSchmidt02d | Georgieva, Lilia
Hustadt, Ullrich
Schmidt, Renate A. | 2002 | | On the Relationship Between Decidable Fragments, Non-Classical Logics, and Description Logics
In: Proceedings of the International Workshop on Description Logics (DL'2002), 25-36 | Proceedings Article |
GeorgievaMaier2005 | Georgieva, Lilia
Maier, Patrick | 2005 | | Description Logics for Shape Analysis
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 321-330 | Proceedings Article |
Gerber-Mastersthesis95 | Gerber, Christian | 1995 | | Entwicklung eines Algorithmus zur effizienten Anfragebeantwortung für eine terminologische Wissensrepräsentationssprache
Universität des Saarlandes | Thesis - Masters thesis |
GK2007 | Ganzinger, Harald
Korovin, Konstantin | 2006 | | Theory Instantiation
In: Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, 497-511 | Proceedings Article |
GKNO97 | Gabbay, Kruse, Nonnengart, Ohlbach (ed.) | 1997 | | Qualitative and Quantitative Practical Reasoning | Book |
GoebelMaier2000 | Göbel, Manfred
Maier, Patrick | 2000 | | Three Remarks on Comprehensive Gröbner and SAGBI Bases
In: Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing (CASC-2000), 191-202 | Proceedings Article |
GorankoHustadtSchmidtVakarelov04a | Goranko, Valentin
Hustadt, Ullrich
Schmidt, Renate A.
Vakarelov, Dimiter | 2004 | | SCAN is complete for all Sahlqvist formulae
In: Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 149-162 | Proceedings Article |
Graf-94-cade | Graf, Peter | 1994 | | Extended Path-Indexing
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 514-528 | Proceedings Article |
Graf-95-phd | Graf, Peter | 1995 | | Term Indexing
Universität des Saarlandes | Thesis - PhD thesis |
Graf-95-rta | Graf, Peter | 1995 | | Substitution Tree Indexing
In: Proceedings of the 6th International Conference on Rewriting Techniques and Applications (RTA-95), 117-131 | Proceedings Article |
Graf-96-LNAI | Graf, Peter | 1996 | | Term Indexing | Book |
Graf96-CADE-13 | Graf, Peter | 1996 | | Path indexing for AC-theories
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 718-732 | Proceedings Article |
GrafDipl1992 | Graf, Peter | 1992 | | Unification Using Dynamic Sorts
Universität des Saarlandes | Thesis - Masters thesis |
GrafMeyer96 | Graf, Peter
Meyer, Christoph | 1996 | | Advanced indexing operations on substitution trees
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 553-567 | Proceedings Article |
Grenner01 | Grenner, Ingo | 2001 | | Die Erzeugung von Schnittebenen mit maximalem Verletzungsgrad und deren Einsatz im Branch-and-Cut Verfahren
Universität des Saarlandes | Thesis - Masters thesis |
GSW-i-and-c | Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe | 2006 | | Modular Proof Systems for Partial Functions with Evans Equality
In: Information and Computation [204], 1453-1492 | Journal Article |
GurevichVeanes99 | Gurevich, Yuri
Veanes, Margus | 1999 | | Logic with Equality: Partisan Corroboration and Shifted Pairing
In: Information and Computation [152], 205-235 | Journal Article |
HaehnleKerberEtAl96 | Hähnle, Reiner
Kerber, Manfred
Weidenbach, Christoph | 1996 | | Common Syntax of the DFG-Schwerpunktprogramm ``Deduktion'' | Report |