MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
1997Stuber, JürgenStrong Symmetrization, Semi-Compatibility of Normalized Rewriting and First-Order Theorem Proving
In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), 125-129		Proceedings Article
1996Stuber, JürgenSuperposition Theorem Proving for Abelian Groups Represented as Integer Modules
In: Rewriting Techniques and Applications, 7th International Conference, RTA-96, 33-47		Proceedings Article
1995Bachmair, Leo
Ganzinger, Harald
Stuber, Jürgen		Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings
In: Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, 1-29		Proceedings Article
1994Stuber, JürgenComputing Stable Models by Program Transformation
In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), 58-73		Proceedings Article
1992Ganzinger, Harald
Stuber, Jürgen		Inductive theorem proving by consistency for first-order clauses
In: Informatik - Festschrift zum 60. Geburtstag von Günter Hotz, 441-462		Part of a Book
1991Stuber, JürgenAttachment IconInductive Theorem Proving for Horn Clauses
Universität Dortmund		Thesis - Masters thesis
3
Show details for Stuckey, Peter J. (ed.)Stuckey, Peter J. (ed.)
1
Show details for Sturm, Thomas (ed.)Sturm, Thomas (ed.)
1
Show details for Suchanek, FabianSuchanek, Fabian
1
Show details for Suchanek, Fabian M.Suchanek, Fabian M.
3
Show details for Sutcliffe, Geoff (ed.)Sutcliffe, Geoff (ed.)
1
Show details for Suzuki, Nobu-Yuki (ed.)Suzuki, Nobu-Yuki (ed.)
1
Show details for Swartout, William (ed.)Swartout, William (ed.)
1
Show details for Swierstra, S. Doaitse (ed.)Swierstra, S. Doaitse (ed.)
2
Show details for Szalas, AndrzejSzalas, Andrzej
11
Show details for Talbot, Jean-MarcTalbot, Jean-Marc
1
Show details for Tammet, TanelTammet, Tanel
1
Show details for Tammet, Tanel (ed.)Tammet, Tanel (ed.)
1
Show details for Tan, HongyanTan, Hongyan
11
Show details for Tan, Yao-HuaTan, Yao-Hua
1
Show details for Tari, Zahir (ed.)Tari, Zahir (ed.)
4
Show details for Tarlecki, Andrzej (ed.)Tarlecki, Andrzej (ed.)
1
Show details for Tchuente, M. (ed.)Tchuente, M. (ed.)
1
Show details for Tessaris, Sergio (ed.)Tessaris, Sergio (ed.)
2
Show details for Theobalt, ChristianTheobalt, Christian
1
Show details for Thiagarajan, P.S. (ed.)Thiagarajan, P.S. (ed.)
1
Show details for Thiebaux, SylvieThiebaux, Sylvie
1
Show details for Thiele, Lothar (ed.)Thiele, Lothar (ed.)
1
Show details for Thomas, Wolfgang (ed.)Thomas, Wolfgang (ed.)
1
Show details for Thümmel, W. (ed.)Thümmel, W. (ed.)

Next Page