Concepedia

Takashi Suto

TS

1

Publications

24

Citations

1

H-Index

2009

Active since

Affiliations

Tohoku University(Current)

Takashi Suto is an author at Tohoku University specializing in automated reasoning, formal verification, and parallel computing.

Top concepts

Publications per year

2009–2009

1

Publications

1

Undecidable equivalences for basic parallel processes

Hans Hüttel, Naoki Kobayashi, Takashi Suto · Information and Computation · 2009 · 24 citations · Full text

, , +8

Rows per page

1–1 of 1