The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Saeed Salehi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.142secs, Finished in 0.143secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002