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

	Year		Title	BibTeX cite key
Wagner, Podelski
Waldmann
	2002		A New Input Technique for Accented Letters in Alphabetical Scripts In: Proceedings of the 20th International Unicode Conference, C12	Waldmann2002IUC
	2002		Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II) In: Journal of Symbolic Computation [33], 831-861	Waldmann2002bJSC
	2002		Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I) In: Journal of Symbolic Computation [33], 777-829	Waldmann2002aJSC
	2001		Superposition and Chaining for Totally Ordered Divisible Abelian Groups (Extended Abstract) In: Automated reasoning : First International Joint Conference, IJCAR 2001, 226-241	Waldmann2001IJCAR
	1999		Cancellative 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
	1998		Extending reduction orderings to ACU-compatible reduction orderings In: Information Processing Letters [67], 43-49	Waldmann1998IPL
	1998		Superposition for Divisible Torsion-Free Abelian Groups In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 144-159	Waldmann1998
	1997		A Superposition Calculus for Divisible Torsion-Free Abelian Groups In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), 130-134	Waldmann1997FTP
	1997		Cancellative Abelian Monoids in Refutational Theorem Proving Universität des Saarlandes	Waldmann1997
	1992		Semantics of Order-Sorted Specifications In: Theoretical Computer Science [94], 1-35	Waldmann92a
Wang
Weidenbach
Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić
Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić
Weidenbach, Gaede, Rock
Weidenbach, Meyer, Cohrs, Engel, Keen
Werner, Bockmayr, Krischer
Weydert
Weydert, Brewka, Witteveen (ed.)
Weydert, van der Torre
Wies
Wies, Kuncak, Lam, Podelski, Rinard
Wu
Wu, Liu
Wu, Lu
Wu, Tan, Li
Xia, Yang
Yoshida, Bundy, Green, Walsh, Basin

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