| 2009 |
|---|
| 10 | EE | Wafik Boulos Lotfallah:
Characterizing unambiguous precedence systems in expressions without superfluous parentheses.
Int. J. Comput. Math. 86(1): 1-20 (2009) |
| 2006 |
|---|
| 9 | EE | Nehad N. Morsi,
Wafik Boulos Lotfallah,
M. S. El-Zekey:
The logic of tied implications, part 2: Syntax.
Fuzzy Sets and Systems 157(15): 2030-2057 (2006) |
| 8 | EE | Nehad N. Morsi,
Wafik Boulos Lotfallah,
M. S. 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) |
| 7 | EE | Nehad N. Morsi,
Wafik Boulos Lotfallah,
M. S. El-Zekey:
The logic of tied implications, part 1: Properties, applications and representation.
Fuzzy Sets and Systems 157(5): 647-669 (2006) |
| 2005 |
|---|
| 6 | EE | 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 |
|---|
| 5 | EE | H. Jerome Keisler,
Wafik Boulos Lotfallah:
Shrinking games and local formulas.
Ann. Pure Appl. Logic 128(1-3): 215-225 (2004) |
| 4 | EE | Wafik Boulos Lotfallah:
An Ehrenfeucht-Fraïssé class game.
Math. Log. Q. 50(2): 179-188 (2004) |
| 2003 |
|---|
| 3 | EE | 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) |
