| 2008 | ||
|---|---|---|
| 2 | Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi: Nondeterminism in Constructive Z. Fundam. Inform. 88(1-2): 109-134 (2008) | |
| 2006 | ||
| 1 | Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi: An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types. Electr. Notes Theor. Comput. Sci. 159: 117-137 (2006) | |
| 1 | Seyed-Hassan Mirian-Hosseinabadi | [1] [2] |