Mostafa Zaare

According to our database, Mostafa Zaare authored at least 6 papers between 2009 and 2025.

Collaborative distances:

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

2025

Artificial rabbits optimization algorithm with automatically DBSCAN clustering algorithm to similarity agent update for features selection problems.

Ali Hamdipour, Abdolali Basiri, Mostafa Zaare, Seyedali Mirjalili

J. Supercomput., January, 2025

2019

Forcing and satisfaction in Kripke models of intuitionistic arithmetic.

Maryam Abiri, Morteza Moniri, Mostafa Zaare

Log. J. IGPL, 2019

2018

From forcing to satisfaction in Kripke models of intuitionistic predicate logic.

Maryam Abiri, Morteza Moniri, Mostafa Zaare

Log. J. IGPL, 2018

2017

Extensions of Kripke models.

Mostafa Zaare

Log. J. IGPL, 2017

2011

Homomorphisms and chains of Kripke models.

Morteza Moniri, Mostafa Zaare

Arch. Math. Log., 2011

2009

Preservation theorems for Kripke models.

Morteza Moniri, Mostafa Zaare

Math. Log. Q., 2009