Mohamed Khaled
Identifiers
- name variant Mohamed Khaled 0.60 · backfill
Papers (7)
- Atoms in infinite dimensional free sequence-set algebras math.LO · 2019 · author #1
- Geometrical representation theorems for cylindric-type algebras math.LO · 2018 · author #1
- First order logic without equality on relativized semantics math.LO · 2018 · author #2
- Weak Godel's incompleteness property for some decidable versions of first order logic math.LO · 2015 · author #1
- General normal forms for any additive logic math.LO · 2015 · author #1
- Weak Godel's incompleteness property for some decidable versions of the calculus of relations math.LO · 2015 · author #1
- Building relativized representations using games math.LO · 2013 · author #2
Mentions
- 1304.1404 #2 · backfill · confidence 0.70 Mohamed Khaled
Frequent Coauthors
- Tarek Sayed Ahmed 2 shared papers
- Amitayu Banerjee 1 shared papers
- Istv\'an N\'emeti 1 shared papers