Tomoki Shiraishi

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 1

Top Topics

Term Rewriting Systems

Top Venues

Publications

Tomoki Shiraishi, Kentaro Kikuchi, Takahito Aoto
A Proof Method for Local Sufficient Completeness of Term Rewriting Systems. ICTAC (2021)
Keiji Hayashi, Tomoki Shiraishi, Kazuho Toyoda, Fumiya Tanaka, Taiga Mori, Takumi Hata
Temperature-controlled molecular dynamics study on velocity-dependent threshold behavior of dynamic nano-friction. Comput. Phys. Commun. 182 (9) (2011)