Takaki Suzuki

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 1

Top Topics

Search Algorithm

Information Technology

Rewriting Systems

Top Venues

Publications

Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
Critical Pair Analysis in Nominal Rewriting. SCSS (2016)
Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
Confluence of Orthogonal Nominal Rewriting Systems Revisited. RTA (2015)