Concepedia

Kosaburo Hashiguchi

KH

14

Publications

563

Citations

13

H-Index

1976

Active since

Affiliations

Toyohashi University of Technology(Current)

Tohoku University

Okayama University

Kosaburo Hashiguchi is an author at Toyohashi University of Technology specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceLinguisticsDiscrete MathematicsProbabilityFormal VerificationComputational ComplexitySyntax

Publications per year

1976–2003

14

Publications

14

Limitedness theorem on finite automata with distance functions

Kosaburo Hashiguchi · Journal of Computer and System Sciences · 1982 · 128 citations

Engineering, Limitedness Theorem, Automated Reasoning +5

Algorithms for determining relative star height and star height

Kosaburo Hashiguchi · Information and Computation · 1988 · 97 citations

Stellar Structure, Relative Star Height, Astronomical Coordinate System

Representation theorems on regular languages

Kosaburo Hashiguchi · Journal of Computer and System Sciences · 1983 · 59 citations

Formal Language, Representation Theory, Representation Theorems +3

Improved limitedness theorems on finite automata with distance functions

Kosaburo Hashiguchi · Theoretical Computer Science · 1990 · 59 citations

Engineering, Automated Reasoning, Improved Limitedness Theorems +6

A decision procedure for the order of regular events

Kosaburo Hashiguchi · Theoretical Computer Science · 1979 · 45 citations

Decision Procedure, Engineering, Automated Reasoning +9

Rows per page

1–5 of 14