Concepedia
1
Publications
62
Citations
H-Index
1991
Active since
Affiliations
Hitachi (Japan)(Current)
Kenroku Nogi is an author at Hitachi (Japan) specializing in formal methods, computational complexity, and engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningComputational Complexity
Publications per year
1991–1991
Essence of generalized partial computation
Yoshihiko Futamura, Kenroku Nogi, Akihiko Takano · Theoretical Computer Science · 1991 · 62 citations
Engineering, Automated Reasoning, Abstract Interpretation +6
Rows per page
1–1 of 1