# Jürgen Stuber

According to our database

Collaborative distances:

^{1}, Jürgen Stuber authored at least 13 papers between 1992 and 2005.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2005

Superposition with equivalence reasoning and delayed clause normal form transformation.

Inf. Comput., 2005

2004

PhD thesis, 2004

Theory Comput. Syst., 2004

2003

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

2001

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

2000

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

1999

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

1998

Theor. Comput. Sci., 1998

1996

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

1994

Computing Stable Models by Program Transformation.

Proceedings of the Logic Programming, 1994

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

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

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

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