Minimal Complete Propositional Natural Deduction Systems von Elnashar, Amr, Lotfallah, Wafik Boulos

Volltext

Reducing Bias and Uncertainty in Multievaluator Multicriterion Decision Making von Asmar, Mounir El, Lotfallah, Wafik Boulos, Loh, Wei-Yin, Hanna, Awad S

Volltext

Uncertainty Reduction in Multi-Evaluator Decision Making von El Asmar, Mounir, Lotfallah, Wafik Boulos, Loh, Wei-Yin, Hanna, Awad S

Volltext

An Ehrenfeucht-Fraïssé class game von Boulos Lotfallah, Wafik

Volltext

On the Complexity of the First‐order Random Theory von Lotfallah, W. B.

Volltext

A local normal form theorem for infinitary logic with unary quantifiers von Jerome Keisler, H., Boulos Lotfallah, Wafik

Volltext

Completeness and interpolation of almost-everywhere quantification over finitely additive measures von Rasga, João, Lotfallah, Wafik Boulos, Sernadas, Cristina

Volltext

Almost everywhere elimination of probability quantifiers von Keisler, H. Jerome, Lotfallah, Wafik Boulos

Volltext

Computational complexities of axiomatic extensions of monoidal t-norm based logic von El-Zekey, Moataz Saleh, Lotfallah, Wafik Boulos, Morsi, Nehad Nashaat

Volltext

Rank Hierarchies for Generalized Quantifiers von Keisler, H. J., Lotfallah, W. B.

Volltext

Strong convergence in finite model theory von Lotfallah, Wafik Boulos

Volltext

Shrinking games and local formulas von Keisler, H.Jerome, Lotfallah, Wafik Boulos

Volltext

Strong 0-1 laws in finite model theory von Lotfallah, Wafik Boulos

Volltext

First order quantifiers in monadic second order logic von Keisler, H. Jerome, Lotfallah, Wafik Boulos

Volltext

Development and Application of Performance Index for Comparative Assessment of Public Capital Projects von Labib, Youssef N, Lotfallah, Wafik B, Hanna, Awad S, Boulos, Nabil W

Volltext