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
Hagemann
Hähnle, Kerber, Weidenbach
Hanus
Hanus, Josephs
Hanus, Zartmann
Hillenbrand
Hillenbrand, Löchner
Hillenbrand, Podelski, Topić
Hillenbrand, Topic, Weidenbach
Hoenicke, Maier
Hoffmann
Hoffmann, Brafman
Hoffmann, Geffner
Hoffmann, Gomes, Selman
Hoffmann, Porteous, Sebastia
Hoffmann, Sabharwal, Domshlak
Hopf
Hopf, Klawonn
Hopf, Rau
Hustadt
Hustadt, Nonnengart
Hustadt, Schmidt
	1999		An Empirical Analysis of Modal Theorem Provers In: Journal of Applied Non-Classical Logics [9], 479-522	HustadtSchmidt99e
	1999		Maslov's Class K Revisited In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 172-186	HustadtSchmidt99a
	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	HustadtSchmidt99b
	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	HustadtSchmidt98a
	1997		On Evaluating Decision Procedures for Modal Logics In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), 202-207	HustadtSchmidt97b
Hustadt, Schmidt, Weidenbach
Iturrioz, Sofronie-Stokkermans
Jacobs

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