Saeed Salehi

Saeed Salehi

University of Tabriz - Tabriz / Iran
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4579616
دانشگاه تبريز
person_outline Saeed Salehi's MOST POPULAR ARTICLES
1-) Provably Total Functions of Basic ArithmeticS SalehiMathematical Logic Quarterly 49 (3), 316-322, 2003252003
2-) Gödel–Rosser\'s Incompleteness Theorem: generalized and optimized for definable theoriesS Salehi, P SerajiJournal of Logic and Computation 27 (5), 1391-1397, 2017252017
3-) Tree Algebras and Varieties of Tree LanguagesS Salehi, M SteinbyTheoretical Computer Science 377 (1-3), 1-24, 2007242007
4-) Varieties of Tree Languages Definable by Syntactic MonoidsS SalehiActa Cybernetica 17 (1), 21-41, 2005172005
5-) Positive Varieties of Tree LanguagesT Petković, S SalehiTheoretical Computer Science 347 (1-2), 1-35, 2005142005