|
Search the dblp DataBase
Masanao Ozawa:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Masanao Ozawa
Halting of Quantum Turing Machines. [Citation Graph (0, 0)][DBLP] UMC, 2002, pp:58-65 [Conf]
- Masanao Ozawa
Forcing in Nonstandard Analysis. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1994, v:68, n:3, pp:263-297 [Journal]
- Masanao Ozawa, Harumichi Nishimura
Local transition functions of quantum Turing machines. [Citation Graph (0, 0)][DBLP] ITA, 2000, v:34, n:5, pp:379-402 [Journal]
- Masanao Ozawa
Scott Incomplete Boolean Ultrapowers of the Real Line. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1995, v:60, n:1, pp:160-171 [Journal]
- Harumichi Nishimura, Masanao Ozawa
Computational complexity of uniform quantum circuit families and quantum Turing machines. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2002, v:276, n:1-2, pp:147-181 [Journal]
- Harumichi Nishimura, Masanao Ozawa
Uniformity of quantum circuit families for error-free algorithms. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:332, n:1-3, pp:487-496 [Journal]
Search in 0.002secs, Finished in 0.003secs
|