| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Strong Skolemization | Nonnengart, Andreas | | 2001 | Unpublished/Draft |
| Strong Symmetrization, Semi-Compatibility of Normalized Rewriting and First-Order Theorem Proving
In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), 125-129 | Stuber, Jürgen | [Bonacina, Maria Paola]
[Furbach, Ulrich] | 1997 | Proceedings Article |
| Structural decidable extensions of bounded quantification
In: Proceedings of the 22nd ACM Symposium on Principles of Programming Languages (POPL'95), 164-175 | Vorobyov, Sergei | | 1995 | Proceedings Article |
| Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 284-293 | Hoffmann, Jörg
[Gomes, Carla]
[Selman, Bart] | [Long, Derek]
[Smith, Stephen F.]
[Borrajo, Daniel]
[McCluskey, Lee] | 2006 | Proceedings Article |
| Structuring Metatheory on Inductive Definitions
In: Information and Computation [162], 80-95 | Matthews, Seán
[Basin, David A.] | | 2000 | Journal Article |
| Structuring metatheory on inductive definitions
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 171-185 | Basin, David A.
Matthews, Seán | [McRobbie, M. A.]
[Slaney, J. K.] | 1996 | Proceedings Article |
| Substitution Tree Indexing
In: Proceedings of the 6th International Conference on Rewriting Techniques and Applications (RTA-95), 117-131 | Graf, Peter | Bundy, Alan | 1995 | Proceedings Article |
| Subsumption of Concepts in $FL_0$ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete
In: 2003 International Workshop on Description Logics (DL-03), 56-64 | Kazakov, Yevgeny
de Nivelle, Hans | [Calvanese, Diego]
[De Giacomo, Giuseppe]
[Franconi, Enrico] | 2003 | Proceedings Article |
| Subtyping Functional+Nonempty Record Types
In: Proceedings of the 12th International Workshop on Computer Science Logic (CSL-98), Annual Conference on the EACSL, 285-297 | Vorobyov, Sergei | [Gottlob, Georg]
[Grandjean, Etienne]
[Seyr, Katrin] | 1999 | Proceedings Article |
| Sudokus as Logical Puzzles
In: Proceedings of the Third Workshop on Disproving, 2-12 | Hillenbrand, Thomas
Topic, Dalibor
Weidenbach, Christoph | [Ahrendt, Wolfgang]
Baumgartner, Peter
de Nivelle, Hans | 2006 | Electronic Proceedings Article |
| Summaries for While Programs with Recursion | Podelski, Andreas
Schaefer, Ina
Wagner, Silke | | 2004 | Report |
| Summaries for While Programs with Recursion
In: Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, 94-107 | Podelski, Andreas
Schaefer, Ina
Wagner, Silke | [Sagiv, Mooly] | 2005 | Proceedings Article |
| Superposition and Chaining for Totally Ordered Divisible Abelian Groups (Extended Abstract)
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 226-241 | Waldmann, Uwe | [Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias] | 2001 | Proceedings Article |
| Superposition Extended with Sorts
Universität Kaiserslautern | Gaede, Bernd | | 1995 | Thesis - Masters thesis |
| Superposition for Divisible Torsion-Free Abelian Groups
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 144-159 | Waldmann, Uwe | [Kirchner, Claude]
[Kirchner, Hélène] | 1998 | Proceedings Article |
| Superposition modulo a Shostak Theory
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 182-196 | Ganzinger, Harald
Hillenbrand, Thomas
Waldmann, Uwe | [Baader, Franz] | 2003 | Proceedings Article |
| Superposition Theorem Proving for Abelian Groups Represented as Integer Modules
In: Rewriting Techniques and Applications, 7th International Conference, RTA-96, 33-47 | Stuber, Jürgen | Ganzinger, Harald | 1996 | Proceedings Article |
| Superposition theorem proving for abelian groups represented as integer modules
In: Theoretical Computer Science [208], 149-177 | Stuber, Jürgen | | 1998 | Journal Article |
| Superposition Theorem Proving for Commutative Algebraic Theories
Universität des Saarlandes | Stuber, Jürgen | | 1999 | Thesis - PhD thesis |
| Superposition theorem proving for commutative rings
In: Automated Deduction - A Basis for Applications. Volume III. Applications, 31-55 | Stuber, Jürgen | [Bibel, Wolfgang]
[Schmitt, Peter H.] | 1998 | Part of a Book |
| Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 335-349 | Ganzinger, Harald
[Stuber, Jürgen] | Baader, Franz | 2003 | Proceedings Article |
| Superposition with equivalence reasoning and delayed clause normal form transformation
In: Information and Computation [199], 3-23 | Ganzinger, Harald
[Stuber, Jürgen] | | 2005 | Journal Article |
| Superposition with simplification as a decision procedure for the monadic class with equality
In: Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, 83-96 | [Bachmair, Leo]
Ganzinger, Harald
Waldmann, Uwe | [Gottlob, Georg]
[Leitsch, Alexander]
[Mundici, Daniele] | 1993 | Proceedings Article |
| Symbolic Arithmetical Reasoning with Qualified Number Restrictions
In: Proceedings of International Workshop on Description Logics'95, 89-95 | Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich | [Borgida, A.]
[Lenzerini, M.]
[Nardi, D.]
[Nebel, B.] | 1995 | Proceedings Article |
| Symbolic Representation of Upward-Closed Sets
In: Proceedings of the 6th Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS-00); Held as Part of the European Joint Conferences on the Theory and Practice of Software (ETAPS-00), 426-440 | Delzanno, Giorgio
[Raskin, Jean-François] | [Graf, Susann]
[Schwartzbach, Michael I.] | 2000 | Proceedings Article |
| Symbolic Shape Analysis
Universität des Saarlandes | Wies, Thomas | | 2004 | Thesis - Masters thesis |
| System Description: SPASS Version 1.0.0
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 314-318 | Weidenbach, Christoph
Afshordel, Bijan
Brahm, Uwe
Cohrs, Christian
Engel, Thorsten
Keen, Enno
Theobalt, Christian
Topić, Dalibor | Ganzinger, Harald | 1999 | Proceedings Article |
| System J - Revision Entailment: Default Reasoning through Ranking Measure Updates
In: Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR'96, 637-649 | Weydert, Emil | [Gabbay, Dov]
[Ohlbach, Hans Jürgen] | 1996 | Proceedings Article |
| System JZ : How to build a canonical ranking model of a default knowledge base
In: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), 190-201 | Weydert, Emil | [Cohn, Anthony G.]
[Schubert, Lenhart]
[Shapiro, Stuart C.] | 1998 | Proceedings Article |
| Tableau Calculi for Hybrid Logics
In: Proceedings of the International Conference TABLEAUX'99 - Automated Reasoning with Analytic Tableaux and Related Methods, 278-292 | Tzakova, Miroslava | [Murray, Neil V.] | 1999 | Proceedings Article |