Basim Samir

According to our database, Basim Samir authored at least 3 papers between 2007 and 2008.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2008

The Class <i>S</i>Nr₃CA_<i>k</i> is Not Closed Under Completions.

Tarek Sayed Ahmed, Basim Samir

Log. J. IGPL, 2008

2007

An Omitting Types Theorem for first order logic with infinitary relation symbols.

Tarek Sayed Ahmed, Basim Samir

Math. Log. Q., 2007

A Neat Embedding Theorem for Expansions of Cylindric Algebras.

Tarek Sayed Ahmed, Basim Samir

Log. J. IGPL, 2007