Wafik Boulos Lotfallah

	2011
14		H. Jerome Keisler, Wafik Boulos Lotfallah: Rank Hierarchies for Generalized Quantifiers. J. Log. Comput. 21(2): 287-306 (2011)
	2009
13		Wafik Boulos Lotfallah: Characterizing unambiguous precedence systems in expressions without superfluous parentheses. Int. J. Comput. Math. 86(1): 1-20 (2009)
12		H. Jerome Keisler, Wafik Boulos Lotfallah: Almost everywhere elimination of probability quantifiers. J. Symb. Log. 74(4): 1121-1142 (2009)
11		Moataz Saleh El-Zekey, Wafik Boulos Lotfallah, Nehad N. Morsi: Computational complexities of axiomatic extensions of monoidal t-norm based logic. Soft Comput. 13(11): 1089-1097 (2009)
	2006
10		Nehad N. Morsi, Wafik Boulos Lotfallah, Moataz Saleh El-Zekey: The logic of tied implications, part 2: Syntax. Fuzzy Sets and Systems 157(15): 2030-2057 (2006)
9		Nehad N. Morsi, Wafik Boulos Lotfallah, Moataz Saleh El-Zekey: Corrigendum to "The logic of tied implications, part 2: Syntax" [Fuzzy Sets and Systems 157(2006)2030-2057]. Fuzzy Sets and Systems 157(17): 2416-2417 (2006)
8		Nehad N. Morsi, Wafik Boulos Lotfallah, Moataz Saleh El-Zekey: The logic of tied implications, part 1: Properties, applications and representation. Fuzzy Sets and Systems 157(5): 647-669 (2006)
	2005
7		H. Jerome Keisler, Wafik Boulos Lotfallah: A local normal form theorem for infinitary logic with unary quantifiers. Math. Log. Q. 51(2): 137-144 (2005)
	2004
6		H. Jerome Keisler, Wafik Boulos Lotfallah: Shrinking games and local formulas. Ann. Pure Appl. Logic 128(1-3): 215-225 (2004)
5		H. Jerome Keisler, Wafik Boulos Lotfallah: First order quantifiers in~monadic second order logic. J. Symb. Log. 69(1): 118-136 (2004)
4		Wafik Boulos Lotfallah: An Ehrenfeucht-Fraïssé class game. Math. Log. Q. 50(2): 179-188 (2004)
	2003
3		Wafik Boulos Lotfallah: On the Complexity of the First-order Random Theory. J. Log. Comput. 13(2): 261-271 (2003)
	2002
2		Wafik Boulos Lotfallah: Strong Convergence in Finite Model Theory. J. Symb. Log. 67(3): 1083-1092 (2002)
	2000
1		Wafik Boulos Lotfallah: Strong 0-1 Laws in Finite Model Theory. J. Symb. Log. 65(4): 1686-1704 (2000)

Coauthor Index

1	Moataz Saleh El-Zekey	[8] [9] [10] [11]
2	H. Jerome Keisler	[5] [6] [7] [12] [14]
3	Nehad N. Morsi	[8] [9] [10] [11]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page