Saeed Salehi

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2013
j10		Saeed Salehi: Herbrand consistency of some finite fragments of bounded arithmetical theories. Arch. Math. Log. 52(3-4): 317-333 (2013)
i4		Ahmad Karimi, Saeed Salehi: Diagonalizing by Fixed-Points. CoRR abs/1303.0730 (2013)
	2012
j9		Saeed Salehi: Herbrand consistency of some arithmetical theories. J. Symb. Log. 77(3): 807-827 (2012)
j8		Saeed Salehi: Separating bounded arithmetical theories by Herbrand consistency. J. Log. Comput. 22(3): 545-560 (2012)
	2011
c3		Saeed Salehi, Eric Dubois: Alignment of cubic-panorama image datasets using epipolar geometry. ICASSP 2011: 1545-1548
i3		Saeed Salehi: Herbrand Consistency of Some Finite Fragments of Bounded Arithmetical Theories. CoRR abs/1110.1848 (2011)
	2010
i2		Saeed Salehi: Herbrand Consistency of Some Arithmetical Theories. CoRR abs/1005.2654 (2010)
i1		Saeed Salehi: Separating Bounded Arithmetics by Herbrand Consistency. CoRR abs/1008.0225 (2010)
	2007
j7		Saeed Salehi, Magnus Steinby: Tree algebras and varieties of tree languages. Theor. Comput. Sci. 377(1-3): 1-24 (2007)
	2006
c2		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
j6		Saeed Salehi: Varieties of Tree Languages Definable by Syntactic Monoids. Acta Cybern. 17(1) (2005)
j5		Saeed Salehi: Polynomially Bounded Recursive Realizability. Notre Dame Journal of Formal Logic 46(4): 407-417 (2005)
j4		Tatjana Petkovic, Saeed Salehi: Positive varieties of tree languages. Theor. Comput. Sci. 347(1-2): 1-35 (2005)
	2003
j3		Mohammad Ardeshir, Wim Ruitenburg, Saeed Salehi: Intuitionistic axiomatizations for bounded extension Kripke models. Ann. Pure Appl. Logic 124(1-3): 267-285 (2003)
j2		Saeed Salehi: Provably total functions of Basic Arithmetic. Math. Log. Q. 49(3): 316-322 (2003)
c1		Saeed Salehi: A Completeness Property of Wilke's Tree Algebras. MFCS 2003: 662-670
	2002
j1		Saeed Salehi: Decidable Formulas of Intuitionistic Primitive Recursive Arithmetic. Reports on Mathematical Logic 36: 55-61 (2002)

Coauthor Index

1	S. Ali	[c2]
2	Mohammad Ardeshir	[j3]
3	Eric Dubois 0002	[c3]
4	Ahmad Karimi	[i4]
5	Mohammad Bagher Menhaj (Mohammad B. Menhaj, M. B. Menhaj)	[c2]
6	Tatjana Petkovic	[j4]
7	Wim Ruitenburg	[j3]
8	Svein Saebo	[c2]
9	Magnus Steinby	[j7]

Colors in the list of coauthors

Last update Sat May 25 03:03:51 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page