Tree Algebras and Varieties of Tree Languages S Salehi, M Steinby Theoretical Computer Science 377 (1-3), 1-24, 2007 | 25 | 2007 |
Provably Total Functions of Basic Arithmetic S Salehi Mathematical Logic Quarterly 49 (3), 316-322, 2003 | 25 | 2003 |
Gödel–Rosser's Incompleteness Theorem: generalized and optimized for definable theories S Salehi, P Seraji Journal of Logic and Computation 27 (5), 1391-1397, 2017 | 23 | 2017 |
Varieties of Tree Languages Definable by Syntactic Monoids S Salehi Acta Cybernetica 17 (1), 21-41, 2005 | 18 | 2005 |
Positive Varieties of Tree Languages T Petković, S Salehi Theoretical Computer Science 347 (1-2), 1-35, 2005 | 15 | 2005 |
Varieties of Tree Languages S Salehi Ph.D. Dissertation in the University of Turku, Finland, 2005 | 14 | 2005 |
Herbrand Consistency in Arithmetics with Bounded Induction S Salehi Ph.D. Dissertation in Institute of Mathematics, Polish Academy of Sciences, 2002 | 13 | 2002 |
Varieties of Many-Sorted Recognizable Sets S Salehi, M Steinby Pure Mathematics and Applications 18 (3-4), 319–343, 2007 | 11 | 2007 |
On Constructivity and the Rosser Property: a closer look at some Gödelean proofs S Salehi, P Seraji Annals of Pure and Applied Logic 169 (10), 971-980, 2018 | 9 | 2018 |
Axiomatizing Mathematical Theories: Multiplication S Salehi arXiv preprint arXiv:1612.06525, 2016 | 8 | 2016 |
On the Diagonal Lemma of Gödel and Carnap S Salehi Bulletin of Symbolic Logic 26 (1), 80-88, 2020 | 7 | 2020 |
Theoremizing Yablo's Paradox A Karimi, S Salehi arXiv preprint arXiv:1406.0134, 2014 | 7 | 2014 |
Intuitionistic Axiomatizations for Bounded Extension Kripke Models M Ardeshir, W Ruitenburg, S Salehi Annals of Pure and Applied Logic 124 (1-3), 267-285, 2003 | 7 | 2003 |
Diagonal Arguments and Fixed Points A Karimi, S Salehi Bulletin of the Iranian Mathematical Society 43 (5), 1073-1088, 2017 | 6 | 2017 |
Herbrand Consistency of Some Arithmetical Theories S Salehi The Journal of Symbolic Logic 77 (3), 807-827, 2012 | 6 | 2012 |
On the Arithmetical Truth of Self‐Referential Sentences K Lajevardi, S Salehi Theoria 85 (1), 8-17, 2019 | 5 | 2019 |
On Axiomatizability of the Multiplicative Theory of Numbers S Salehi Fundamenta Informaticae 159 (3), 279-296, 2018 | 5 | 2018 |
A Completeness Property of Wilke’s Tree Algebras S Salehi International Symposium on Mathematical Foundations of Computer Science, 662-670, 2003 | 5 | 2003 |
Decidable Formulas of Intuitionistic Primitive Recursive Arithmetic S Salehi Reports on Mathematical Logic 36, 55-61, 2002 | 5 | 2002 |
There May Be Many Arithmetical Gödel Sentences K Lajevardi, S Salehi Philosophia Mathematica 29 (2), 278-287, 2021 | 4 | 2021 |