MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)


Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
YearTitleBibTeX cite key
Show details for SchäfSchäf
Show details for SchlobachSchlobach
Show details for SchmidtSchmidt
Show details for Schmidt, HustadtSchmidt, Hustadt
Show details for Schmidt, Orłowska, HustadtSchmidt, Orłowska, Hustadt
Show details for Schmidt, TishkovskySchmidt, Tishkovsky
Show details for Schmidt, Tishkovsky, HustadtSchmidt, Tishkovsky, Hustadt
Show details for SchmolziSchmolzi
Show details for She, RatschanShe, Ratschan
Show details for She, Xia, XiaoShe, Xia, Xiao
Show details for Simon, Freiheit, OlbrichSimon, Freiheit, Olbrich
Show details for SmausSmaus
Show details for Socher-AmbrosiusSocher-Ambrosius
Show details for Sofronie-StokkermansSofronie-Stokkermans
Show details for Sofronie-Stokkermans, StokkermansSofronie-Stokkermans, Stokkermans
Show details for StruthStruth
Hide details for StuberStuber
2000Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems
In: Proceedings of the 11th International Conference Rewriting Techniques and Applications (RTA-00), 229-245		Stuber2000RTA
1999Attachment IconSuperposition Theorem Proving for Commutative Algebraic Theories
Universität des Saarlandes		Stuber1999
1999Theory path orderings
In: Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), 148-162		Stuber1999RTA
1998Superposition theorem proving for abelian groups represented as integer modules
In: Theoretical Computer Science [208], 149-177		Stuber1998TCS
1998Superposition theorem proving for commutative rings
In: Automated Deduction - A Basis for Applications. Volume III. Applications, 31-55		Stuber1998AutDed
1997Strong 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		StuberFTP97
1996Superposition Theorem Proving for Abelian Groups Represented as Integer Modules
In: Rewriting Techniques and Applications, 7th International Conference, RTA-96, 33-47		StuberRTA96
1994Computing Stable Models by Program Transformation
In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), 58-73		StuberICLP94
1991Attachment IconInductive Theorem Proving for Horn Clauses
Universität Dortmund		Stuber91
Show details for SuchanekSuchanek
Show details for TalbotTalbot
Show details for Talbot, Devienne, TisonTalbot, Devienne, Tison
Show details for Talbot, Niehren, MüllerTalbot, Niehren, Müller

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)