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	Hagemann
1	Hähnle, Kerber, Weidenbach
16	Hanus
1	Hanus, Josephs
1	Hanus, Zartmann
2	Hillenbrand
2	Hillenbrand, Löchner
1	Hillenbrand, Podelski, Topić
1	Hillenbrand, Topic, Weidenbach
1	Hoenicke, Maier
6	Hoffmann
2	Hoffmann, Brafman
1	Hoffmann, Geffner
1	Hoffmann, Gomes, Selman
1	Hoffmann, Porteous, Sebastia
1	Hoffmann, Sabharwal, Domshlak
5	Hopf
2	Hopf, Klawonn
1	Hopf, Rau
9	Hustadt
1	Hustadt, Nonnengart
5	Hustadt, Schmidt
		1999		An Empirical Analysis of Modal Theorem Provers In: Journal of Applied Non-Classical Logics [9], 479-522	Journal Article
		1999		Maslov's Class K Revisited In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 172-186	Proceedings Article
		1999		On the relation of resolution and tableaux proof systems for description logics In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), 110-115	Proceedings Article
		1998		Simplification and backjumping in modal tableau In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), 187-201	Proceedings Article
		1997		On Evaluating Decision Procedures for Modal Logics In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), 202-207	Proceedings Article
1	Hustadt, Schmidt, Weidenbach
1	Iturrioz, Sofronie-Stokkermans
1	Jacobs

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