Statistics
Publications
17
Citations
402
H-Index
13
Active since
1979
Affiliations
Hirokazu Nishimura is an author at University of Tsukuba specializing in computer science, logic, and natural sciences.
Publications per year
1979–1999
17
17
Sequential method in quantum logic
Hirokazu Nishimura · Journal of Symbolic Logic · 1980 · 50 citations
Descriptively complete process logic
Hirokazu Nishimura · Acta Informatica · 1980 · 45 citations
Sequential method in propositional dynamic logic
Hirokazu Nishimura · Acta Informatica · 1979 · 27 citations
Hirokazu Nishimura · International Journal of Theoretical Physics · 1997 · 26 citations
1–5 of 17