Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 1. by Names of First Author,Editor

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	Type
1	Wagner, Podelski
10	Waldmann
3	Wang
17	Weidenbach
		2001		Combining Superposition, Sorts and Splitting In: Handbook of Automated Reasoning, 1965-2013	Part of a Book
		2000		Entscheidbarkeitsprobleme für monadische (Horn)Klauselklassen Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät	Thesis - Habilitation thesis
		1999		SPASS V0.95TPTP In: Journal of Automated Reasoning [23], 21-21	Journal Article
		1999		Towards an Automatic Analysis of Security Protocols in First-Order Logic In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 378-382	Proceedings Article
		1998		Rechnen in sortierter Prädikatenlogik In: Ausgezeichnete Informatikdissertationen 1997, 183-197	Part of a Book
		1998		Sorted Unification and Tree Automata In: Automated Deduction - A Basis for Applications, 291-320	Part of a Book
		1997		SPASS Version 0.49 In: Journal of Automated Reasoning [18], 247-252	Journal Article
		1996		Computational Aspects of a First-Order Logic with Sorts Universität des Saarlandes	Thesis - PhD thesis
		1996		Sorted Unification and Its Application to Automated Theorem Proving In: Proceedings of the CADE-13 Workshop: Term Schematizations and Their Applications, 67-76	Proceedings Article
		1996		Unification in Pseudo-Linear Sort Theories is Decidable In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 343-357	Proceedings Article
		1996		Unification in Sort Theories In: Proceedings of the 10th International Workshop on Unification, UNIF'96, 16-25	Proceedings Article
		1996		Unification in Sort Theories and its Applications In: Annals of Mathematics and Artificial Intelligence [18], 261-293	Journal Article
		1995		First-Order Tableaux with Sorts In: Journal of the Interest Group in Pure and Applied Logics [3], 887-906	Journal Article
		1994		First-Order Tableaux with Sorts In: TABLEAUX-'94, 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, 247-261	Proceedings Article
		1994		Sorts, Resolution, Tableaux and Propositional Logic In: KI-94 Workshops: Extended Abstracts, 315-316	Proceedings Article
		1993		A New Sorted Logic In: GWAI-92: Advances in Artificial Inteligence, Proceedings 16th German Workshop on Artificial Intelligence, 43-54	Proceedings Article
		1993		Extending the Resolution Method with Sorts In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI '93), 60-65	Proceedings Article
1	Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić
1	Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić
1	Weidenbach, Gaede, Rock
1	Weidenbach, Meyer, Cohrs, Engel, Keen
5	Werner, Bockmayr, Krischer
23	Weydert
1	Weydert, Brewka, Witteveen (ed.)
2	Weydert, van der Torre
1	Wies

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