
Search the dblp DataBase
Morteza Moniri:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Morteza Moniri
Intuitionistic weak arithmetic. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2003, v:42, n:8, pp:791796 [Journal]
 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:91103 [Journal]
 Morteza Moniri
Comparing Constructive Arithmetical Theories Based on NPPIND and coNPPIND. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2003, v:13, n:6, pp:881888 [Journal]
 Morteza Moniri
An Independence Result for Intuitionistic Bounded Arithmetic. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2006, v:16, n:2, pp:199204 [Journal]
 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:479484 [Journal]
 Morteza Moniri
Weak Arithmetics and Kripke Models. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2002, v:48, n:1, pp:157160 [Journal]
 Morteza Moniri
Independence results for weak systems of intuitionistic arithmetic. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2003, v:49, n:3, pp:250254 [Journal]
 Morteza Moniri
On two questions about feasibly constructive arithmetic. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2003, v:49, n:4, pp:425427 [Journal]
 Morteza Moniri
Corrigendum to "Weak Arithmetics and Kripke Models". [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2004, v:50, n:6, pp:637638 [Journal]
 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:7376 [Journal]
 Morteza Moniri
Preservation theorems for bounded formulas. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2007, v:46, n:1, pp:914 [Journal]
Htheories, fragments of HA and PAnormality. [Citation Graph (, )][DBLP]
Search in 0.094secs, Finished in 0.094secs
