- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| j3 |      | Harald Ganzinger, Jürgen Stuber: Superposition with equivalence reasoning and delayed clause normal form transformation. Inf. Comput. 199(1-2): 3-23 (2005) |
| 2004 | ||
| b1 | | Jürgen Stuber: Superposition theorem proving for commutative algebraic theories. Saarland University 2004 |
| j2 | | Manfred Schmidt-Schauß, Jürgen Stuber: The Complexity of Linear and Stratified Context Matching Problems. Theory Comput. Syst. 37(6): 717-740 (2004) |
| 2003 | ||
| c9 | | Harald Ganzinger, Jürgen Stuber: Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation. CADE 2003: 335-349 |
| c8 | | Jürgen Stuber, Mark van den Brand: Extracting Mathematical Semantics from Documents. PPSWR 2003: 160-173 |
| 2001 | ||
| c7 | | Jürgen Stuber: A Model-Based Completeness Proof of Extended Narrowing and Resolution. IJCAR 2001: 195-210 |
| 2000 | ||
| c6 | | Jürgen Stuber: Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems. RTA 2000: 229-245 |
| 1999 | ||
| c5 | | |
| 1998 | ||
| j1 | | Jürgen Stuber: Superposition Theorem Proving for Abelian Groups Represented as Integer Modules. Theor. Comput. Sci. 208(1-2): 149-177 (1998) |
| 1996 | ||
| c4 | | Jürgen Stuber: Superposition Theorem Proving for Albelian Groups Represented as Integer Modules. RTA 1996: 33-47 |
| 1994 | ||
| c3 | | Leo Bachmair, Harald Ganzinger, Jürgen Stuber: Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings. COMPASS/ADT 1994: 1-29 |
| c2 |  | |
| 1992 | ||
| c1 | | Harald Ganzinger, Jürgen Stuber: Inductive Theorem Proving by Consistency for First-Order Clauses. CTRS 1992: 226-241 |
| 1 | Leo Bachmair | |
| 2 | Mark van den Brand (Mark G. J. van den Brand, M. G. J. van den Brand) | |
| 3 | Harald Ganzinger | |
| 4 | Manfred Schmidt-Schauß |
Data released under the ODC-BY 1.0 license — See also our legal information page