Saeed Salehi

	2007
8		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		Saeed Salehi: Varieties of Tree Languages Definable by Syntactic Monoids. Acta Cybern. 17(1): (2005)
5		Tatjana Petkovic, Saeed Salehi: Positive varieties of tree languages. Theor. Comput. Sci. 347(1-2): 1-35 (2005)
	2003
4		Saeed Salehi: A Completeness Property of Wilke's Tree Algebras. MFCS 2003: 662-670
3		Mohammad Ardeshir, Wim Ruitenburg, Saeed Salehi: Intuitionistic axiomatizations for bounded extension Kripke models. Ann. Pure Appl. Logic 124(1-3): 267-285 (2003)
2		Saeed Salehi: Provably total functions of Basic Arithmetic. Math. Log. Q. 49(3): 316-322 (2003)
	2002
1		Saeed Salehi: Decidable Formulas of Intuitionistic Primitive Recursive Arithmetic. Reports on Mathematical Logic 36: 55-61 (2002)

Coauthor Index

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]

Colors in the list of coauthors