Concepedia

Kenichi Ishiguro

KI

1

Publications

24

Citations

1

H-Index

2002

Active since

Affiliations

Okayama University(Current)

Kenichi Ishiguro is an author at Okayama University specializing in verification, formal verification, and engineering.

Top concepts

Publications per year

2002–2002

1

Publications

1

DECIDABILITY OF THE EQUIVALENCE PROBLEM FOR FINITELY AMBIGUOUS FINANCE AUTOMATA

Kosaburo Hashiguchi, Kenichi Ishiguro, Shuji Jimbo · International Journal of Algebra and Computation · 2002 · 24 citations

, , +12

Rows per page

1–1 of 1