Amir Khamseh

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 2

Top Topics

Proof Theoretic

Presburger Arithmetic

Top Venues

Int. J. Comput. Math. Comput. Syst. Theory

J. Graph Theory

Notre Dame J. Formal Log.

Publications

Matija Bucic, Amir Khamseh
The ( t - 1 ) $(t-1)$ -chromatic Ramsey number for paths. J. Graph Theory 102 (4) (2023)
Amir Khamseh
A note on (t - 1)-chromatic Ramsey number of linear forests. Int. J. Comput. Math. Comput. Syst. Theory 5 (2) (2020)
Mojtaba Aghaei, Amir Khamseh
Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts. Notre Dame J. Formal Log. 55 (2) (2014)
Amir Khamseh, G. R. Omidi
A generalization of Ramsey theory for linear forests. Int. J. Comput. Math. 89 (10) (2012)