Morteza Moniri

	2011
16		Morteza Moniri, Mostafa Zaare: Homomorphisms and chains of Kripke models. Arch. Math. Log. 50(3-4): 431-443 (2011)
	2010
15		Morteza Moniri: Provably recursive functions of constructive and relatively constructive theories. Arch. Math. Log. 49(3): 291-300 (2010)
	2009
14		Morteza Moniri, Mostafa Zaare: Preservation theorems for Kripke models. Math. Log. Q. 55(2): 177-184 (2009)
	2008
13		Morteza Moniri: On the Hierarchy of Intuitionistic Bounded Arithmetic. J. Log. Comput. 18(4): 625-630 (2008)
	2007
12		Morteza Moniri: Preservation theorems for bounded formulas. Arch. Math. Log. 46(1): 9-14 (2007)
	2006
11		Morteza Moniri: An Independence Result for Intuitionistic Bounded Arithmetic. J. Log. Comput. 16(2): 199-204 (2006)
	2005
10		Morteza Moniri: Polynomial induction and length minimization in intuitionistic bounded arithmetic. Math. Log. Q. 51(1): 73-76 (2005)
	2004
9		Morteza Moniri: Corrigendum to "Weak Arithmetics and Kripke Models". Math. Log. Q. 50(6): 637-638 (2004)
	2003
8		Morteza Moniri: Intuitionistic weak arithmetic. Arch. Math. Log. 42(8): 791-796 (2003)
7		Morteza Moniri: Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND. J. Log. Comput. 13(6): 881-888 (2003)
6		Morteza Moniri: Independence results for weak systems of intuitionistic arithmetic. Math. Log. Q. 49(3): 250-254 (2003)
5		Morteza Moniri: On two questions about feasibly constructive arithmetic. Math. Log. Q. 49(4): 425-427 (2003)
4		Seyed Mohammad Bagheri, Morteza Moniri: Some results on Kripke models over an arbitrary fixed frame. Math. Log. Q. 49(5): 479-484 (2003)
	2002
3		Morteza Moniri: H-theories, fragments of HA and PA-normality. Arch. Math. Log. 41(1): 101-105 (2002)
2		Morteza Moniri, Mojtaba Moniri: Some Weak Fragments of HA and Certain Closure Properties. J. Symb. Log. 67(1): 91-103 (2002)
1		Morteza Moniri: Weak Arithmetics and Kripke Models. Math. Log. Q. 48(1): 157-160 (2002)

Coauthor Index

1	Seyed Mohammad Bagheri	[4]
2	Mojtaba Moniri	[2]
3	Mostafa Zaare	[14] [16]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page