If you made any changes in Pure these will be visible here soon.

Research Output 1984 2019

  • 187 Citations
  • 8 h-Index
  • 34 Article
  • 28 Conference contribution
  • 2 Paper
  • 1 Conference article
Filter
Paper
1995
1 Citation (Scopus)

Time parameterized function method: a new method for hardware verification with the Boyer-Moore theorem prover

Takahashi, K. & Fujita, H., Dec 1 1995, p. 545-552. 8 p.

Research output: Contribution to conferencePaper

Sequential circuits
Hardware
Networks (circuits)
1991
34 Citations (Scopus)

Model generation theorem prover in KL1 using a ramified-stack algorithm

Fujita, H. & Hasegawa, R., Dec 1 1991, p. 535-548. 14 p.

Research output: Contribution to conferencePaper

Phase matching
Data storage equipment
Intelligent databases