Hassan Haghighi

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

	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)

Coauthor Index