Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Kiyoharu Hamaguchi

Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic

IPSJ Transactions on System LSI Design Methodology

Electronic Engineering

Computer Science Applications

English