Jürgen Stuber

According to our database, Jürgen Stuber authored at least 13 papers between 1992 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Superposition with equivalence reasoning and delayed clause normal form transformation.

Harald Ganzinger, Jürgen Stuber

Inf. Comput., 2005

2004

Superposition theorem proving for commutative algebraic theories.

Jürgen Stuber

PhD thesis, 2004

The Complexity of Linear and Stratified Context Matching Problems.

Manfred Schmidt-Schauß, Jürgen Stuber

Theory Comput. Syst., 2004

2003

Extracting Mathematical Semantics from Documents.

Jürgen Stuber, Mark van den Brand

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003

2001

A Model-Based Completeness Proof of Extended Narrowing and Resolution.

Jürgen Stuber

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems.

Jürgen Stuber

Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000

1999

Theory Path Orderings.

Jürgen Stuber

Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

1998

Superposition Theorem Proving for Abelian Groups Represented as Integer Modules.

Jürgen Stuber

Theor. Comput. Sci., 1998

1996

Superposition Theorem Proving for Albelian Groups Represented as Integer Modules.

Jürgen Stuber

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

1994

Computing Stable Models by Program Transformation.

Jürgen Stuber

Proceedings of the Logic Programming, 1994

Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings.

Leo Bachmair, Harald Ganzinger, Jürgen Stuber

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1992

Inductive Theorem Proving by Consistency for First-Order Clauses.

Harald Ganzinger, Jürgen Stuber

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

Inductive Theorem Proving by Consistency for First-Order Clauses.

Harald Ganzinger, Jürgen Stuber

Proceedings of the Informatik, Festschrift zum 60. Geburtstag von Günter Hotz, 1992