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 TalbotTalbot
Show details for Talbot, Devienne, TisonTalbot, Devienne, Tison
Show details for Talbot, Niehren, MüllerTalbot, Niehren, Müller
Show details for Thiebaux, Hoffmann, NebelThiebaux, Hoffmann, Nebel
Show details for TimmTimm
Show details for Trueg, Hoffmann, NebelTrueg, Hoffmann, Nebel
Show details for TzakovaTzakova
Show details for van der Torrevan der Torre
Show details for van der Torre, Tanvan der Torre, Tan
Show details for van der Torre, Weydertvan der Torre, Weydert
Show details for VeanesVeanes
Show details for VeitVeit
Show details for ViganòViganò
Show details for VorobyovVorobyov
Show details for Vorobyov, VoronkovVorobyov, Voronkov
Show details for VoronkovVoronkov
Show details for Wagner, PodelskiWagner, Podelski
Hide details for WaldmannWaldmann
2002A New Input Technique for Accented Letters in Alphabetical Scripts
In: Proceedings of the 20th International Unicode Conference, C12		Waldmann2002IUC
2002Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II)
In: Journal of Symbolic Computation [33], 831-861		Waldmann2002bJSC
2002Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I)
In: Journal of Symbolic Computation [33], 777-829		Waldmann2002aJSC
2001Superposition and Chaining for Totally Ordered Divisible Abelian Groups (Extended Abstract)
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 226-241		Waldmann2001IJCAR
1999Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups
In: Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99), 131-147		Waldmann1999LPAR
1998Extending reduction orderings to ACU-compatible reduction orderings
In: Information Processing Letters [67], 43-49		Waldmann1998IPL
1998Superposition for Divisible Torsion-Free Abelian Groups
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 144-159		Waldmann1998
1997A Superposition Calculus for Divisible Torsion-Free Abelian Groups
In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), 130-134		Waldmann1997FTP
1997Cancellative Abelian Monoids in Refutational Theorem Proving
Universität des Saarlandes		Waldmann1997
1992Semantics of Order-Sorted Specifications
In: Theoretical Computer Science [94], 1-35		Waldmann92a
Show details for WangWang
Show details for WeidenbachWeidenbach

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