Publications

Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index

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	Author(s) [non member]	Editor(s) [non member]		Title	Type
1	Wachsmuth, Ipke (ed.)
1	Wagner, Dorothea (ed.)
6	Wagner, Silke
22	Waldmann, Uwe
1	Wallin, Annika (ed.)
6	Walsh, Toby
1	Walukiewicz, Igor
1	Wang, Dongming (ed.)
1	Wang, D. (ed.)
3	Wang, Yongge
3	Wansing, Heinrich (ed.)
2	Wansing, H. (ed.)
		1998	Schmidt, Renate A.	[Kracht, M.] [de Rijke, M.] [Wansing, H.] [Zakharyaschev, M.]		Resolution is a Decision Procedure for Many Propositional Modal Logics In: Advances in Modal Logic, Volume 1, 189-208	Part of a Book
		1996	Ohlbach, Hans Jürgen Schmidt, Renate A. Hustadt, Ullrich	[Wansing, H.]		Translating Graded Modalities into Predicate Logic In: Proof Theory of Modal Logic, 253-291	Part of a Book
1	Warren, David Scott (ed.)
1	Warren, D. S. (ed.)
33	Weidenbach, Christoph
1	Weispfenning, V.
7	Werner, Andreas
2	Wetzel, Susanne
30	Weydert, Emil
2	Weydert, Emil (ed.)
2	Wiedermann, Jiri (ed.)
3	Wies, Thomas
1	Williams, Denise A. (ed.)
2	Winskel, Glynn (ed.)
2	Wirsing, Martin (ed.)
1	Wirtz, Boris
4	Witteveen, Cees (ed.)
1	Woeginger, Gerhard J. (ed.)

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