Concepedia

Takaki Suzuki

TS

1

Publications

13

Citations

1

H-Index

2015

Active since

Takaki Suzuki is an author specializing in computational linguistics, engineering, and formal verification.

Top concepts

Publications per year

2015–2015

1

Publications

1

Confluence of Orthogonal Nominal Rewriting Systems Revisited

Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 13 citations · Full text

, , +16

Rows per page

1–1 of 1