Basim Samir

List of publications from the DBLP Bibliography Server - FAQ

2007

2 EE Tarek Sayed Ahmed, Basim Samir: A Neat Embedding Theorem for Expansions of Cylindric Algebras. Logic Journal of the IGPL 15(1): 41-51 (2007)

1 EE Tarek Sayed Ahmed, Basim Samir: An Omitting Types Theorem for first order logic with infinitary relation symbols. Math. Log. Q. 53(6): 564-570 (2007)

2007
2	EE	Tarek Sayed Ahmed, Basim Samir: A Neat Embedding Theorem for Expansions of Cylindric Algebras. Logic Journal of the IGPL 15(1): 41-51 (2007)
1	EE	Tarek Sayed Ahmed, Basim Samir: An Omitting Types Theorem for first order logic with infinitary relation symbols. Math. Log. Q. 53(6): 564-570 (2007)

Coauthor Index