Andreas Flögel

	1995
4		Hans Kleine Büning, Marek Karpinski, Andreas Flögel: Resolution for Quantified Boolean Formulas Inf. Comput. 117(1): 12-18 (1995)
	1993
3		Andreas Flögel, Hans Kleine Büning, Theodor Lettmann: On the Restricted Equivalence Subclasses of Propositional Logic. ITA 27(4): 327-340 (1993)
2		Andreas Flögel: Resolution für quantifizierte Bool'sche Formeln. Universität Paderborn 1993: 1-144
	1990
1		Andreas Flögel, Marek Karpinski, Hans Kleine Büning: Subclasses of Quantified Boolean Formulas. CSL 1990: 145-155

Coauthor Index

1	Hans Kleine Büning	[1] [3] [4]
2	Marek Karpinski	[1] [4]
3	Theodor Lettmann	[3]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page