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