
Search the dblp DataBase
Saeed Salehi:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Saeed Salehi
A Completeness Property of Wilke's Tree Algebras. [Citation Graph (0, 0)][DBLP] MFCS, 2003, pp:662670 [Conf]
 Saeed Salehi
Varieties of Tree Languages Definable by Syntactic Monoids. [Citation Graph (0, 0)][DBLP] Acta Cybern., 2005, v:17, n:1, pp: [Journal]
 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:13, pp:267285 [Journal]
 Saeed Salehi
Provably total functions of Basic Arithmetic. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2003, v:49, n:3, pp:316322 [Journal]
 Tatjana Petkovic, Saeed Salehi
Positive varieties of tree languages. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:347, n:12, pp:135 [Journal]
 Saeed Salehi, Magnus Steinby
Tree algebras and varieties of tree languages. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2007, v:377, n:13, pp:124 [Journal]
 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:192197 [Conf]
 Saeed Salehi
Decidable Formulas of Intuitionistic Primitive Recursive Arithmetic. [Citation Graph (0, 0)][DBLP] Reports on Mathematical Logic, 2002, v:36, n:, pp:5561 [Journal]
Herbrand Consistency of Some Arithmetical Theories [Citation Graph (, )][DBLP]
Separating Bounded Arithmetics by Herbrand Consistency [Citation Graph (, )][DBLP]
Search in 0.142secs, Finished in 0.143secs
