Jürgen Stuber

14 papers A 2B 1Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2005 J jnl
Superposition with equivalence reasoning and delayed clause normal form transformation.
Inf. Comput.
Harald Ganzinger, Jürgen Stuber
2004 — —
Superposition theorem proving for commutative algebraic theories.
Jürgen Stuber
2004 J jnl
The Complexity of Linear and Stratified Context Matching Problems.
Theory Comput. Syst.
Manfred Schmidt-Schauß, Jürgen Stuber
2003 — conf
Extracting Mathematical Semantics from Documents.
PPSWR
Jürgen Stuber, Mark van den Brand
2003 A conf
Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation.
CADE
Harald Ganzinger, Jürgen Stuber
2001 A conf
A Model-Based Completeness Proof of Extended Narrowing and Resolution.
IJCAR
Jürgen Stuber
2000 — conf
Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems.
RTA
Jürgen Stuber
1999 — conf
Theory Path Orderings.
RTA
Jürgen Stuber
1998 J jnl
Superposition Theorem Proving for Abelian Groups Represented as Integer Modules.
Theor. Comput. Sci.
Jürgen Stuber
1996 — conf
Superposition Theorem Proving for Albelian Groups Represented as Integer Modules.
RTA
Jürgen Stuber
1994 — conf
Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings.
COMPASS/ADT
Leo Bachmair, Harald Ganzinger, Jürgen Stuber
1994 B conf
Computing Stable Models by Program Transformation.
ICLP
Jürgen Stuber
1992 — ch.
Inductive Theorem Proving by Consistency for First-Order Clauses.
Informatik
Harald Ganzinger, Jürgen Stuber
1992 — conf
Inductive Theorem Proving by Consistency for First-Order Clauses.
CTRS
Harald Ganzinger, Jürgen Stuber