Basim Samir

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

3 Tarek Sayed Ahmed, Basim Samir: The Class SNr₃CA_k is Not Closed Under Completions. Logic Journal of the IGPL 16(5): 427-429 (2008)

2007

2 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 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)

	2008
3		Tarek Sayed Ahmed, Basim Samir: The Class SNr₃CA_k is Not Closed Under Completions. Logic Journal of the IGPL 16(5): 427-429 (2008)
	2007
2		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		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