Search the dblp DataBase

Publications of Author

1. Saeed Salehi
   A Completeness Property of Wilke's Tree Algebras. [Citation Graph (0, 0)][DBLP]
   MFCS, 2003, pp:662-670 [Conf]
   
2. Saeed Salehi
   Varieties of Tree Languages Definable by Syntactic Monoids. [Citation Graph (0, 0)][DBLP]
   Acta Cybern., 2005, v:17, n:1, pp:- [Journal]
   
3. Mohammad Ardeshir, Wim Ruitenburg, Saeed Salehi
   Intuitionistic axiomatizations for bounded extension Kripke models. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2003, v:124, n:1-3, pp:267-285 [Journal]
   
4. Saeed Salehi
   Provably total functions of Basic Arithmetic. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2003, v:49, n:3, pp:316-322 [Journal]
   
5. Tatjana Petkovic, Saeed Salehi
   Positive varieties of tree languages. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:347, n:1-2, pp:1-35 [Journal]
   
6. Saeed Salehi, Magnus Steinby
   Tree algebras and varieties of tree languages. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:377, n:1-3, pp:1-24 [Journal]
   
7. Svein Saebo, Mohammad Bagher Menhaj, S. Ali, Saeed Salehi
   A new evolution based training method for dynamic synapse neural networks. [Citation Graph (0, 0)][DBLP]
   Computational Intelligence, 2006, pp:192-197 [Conf]
   
8. Saeed Salehi
   Decidable Formulas of Intuitionistic Primitive Recursive Arithmetic. [Citation Graph (0, 0)][DBLP]
   Reports on Mathematical Logic, 2002, v:36, n:, pp:55-61 [Journal]
   
9. 
   Herbrand Consistency of Some Arithmetical Theories [Citation Graph (, )][DBLP]
   
   
10. 
    Separating Bounded Arithmetics by Herbrand Consistency [Citation Graph (, )][DBLP]