The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Morteza Moniri: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Morteza Moniri
    Intuitionistic weak arithmetic. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2003, v:42, n:8, pp:791-796 [Journal]
  2. Morteza Moniri, Mojtaba Moniri
    Some Weak Fragments of HA and Certain Closure Properties. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:91-103 [Journal]
  3. Morteza Moniri
    Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:6, pp:881-888 [Journal]
  4. Morteza Moniri
    An Independence Result for Intuitionistic Bounded Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2006, v:16, n:2, pp:199-204 [Journal]
  5. Seyed Mohammad Bagheri, Morteza Moniri
    Some results on Kripke models over an arbitrary fixed frame. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2003, v:49, n:5, pp:479-484 [Journal]
  6. Morteza Moniri
    Weak Arithmetics and Kripke Models. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:1, pp:157-160 [Journal]
  7. Morteza Moniri
    Independence results for weak systems of intuitionistic arithmetic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2003, v:49, n:3, pp:250-254 [Journal]
  8. Morteza Moniri
    On two questions about feasibly constructive arithmetic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2003, v:49, n:4, pp:425-427 [Journal]
  9. Morteza Moniri
    Corrigendum to "Weak Arithmetics and Kripke Models". [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:6, pp:637-638 [Journal]
  10. Morteza Moniri
    Polynomial induction and length minimization in intuitionistic bounded arithmetic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2005, v:51, n:1, pp:73-76 [Journal]
  11. Morteza Moniri
    Preservation theorems for bounded formulas. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2007, v:46, n:1, pp:9-14 [Journal]

  12. H-theories, fragments of HA and PA-normality. [Citation Graph (, )][DBLP]


Search in 0.094secs, Finished in 0.094secs
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