Jürgen Stuber

Publication Activity (10 Years)

Years Active: 1992-2005
Publications (10 Years): 0

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Harald Ganzinger, Jürgen Stuber
Superposition with equivalence reasoning and delayed clause normal form transformation. Inf. Comput. 199 (1-2) (2005)
Manfred Schmidt-Schauß, Jürgen Stuber
The Complexity of Linear and Stratified Context Matching Problems. Theory Comput. Syst. 37 (6) (2004)
Jürgen Stuber, Mark van den Brand
Extracting Mathematical Semantics from Documents. PPSWR (2003)
Harald Ganzinger, Jürgen Stuber
Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation. CADE (2003)
Jürgen Stuber
A Model-Based Completeness Proof of Extended Narrowing and Resolution. IJCAR (2001)
Jürgen Stuber
Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems. RTA (2000)
Jürgen Stuber
Theory Path Orderings. RTA (1999)
Jürgen Stuber
Superposition Theorem Proving for Abelian Groups Represented as Integer Modules. Theor. Comput. Sci. 208 (1-2) (1998)
Jürgen Stuber
Superposition Theorem Proving for Albelian Groups Represented as Integer Modules. RTA (1996)
Jürgen Stuber
Computing Stable Models by Program Transformation. ICLP (1994)
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)
Harald Ganzinger, Jürgen Stuber
Inductive Theorem Proving by Consistency for First-Order Clauses. CTRS (1992)