Travelled to:
1 × USA
Collaborated with:
M.Takashima A.Ikeuchi S.Kojima T.Saitou J.Sakata
Talks about:
comparison (1) isomorph (1) function (1) circuit (1) system (1) check (1) rule (1) base (1)
Person: Toshikazu Tanaka
DBLP: Tanaka:Toshikazu
Contributed to:
Wrote 1 papers:
- DAC-1988-TakashimaIKTSS #comparison #functional #morphism #rule-based
- A Circuit Comparison System with Rule-Based Functional Isomorphism Checking (MT, AI, SK, TT, TS, JiS), pp. 512–516.