Yoshiaki Kanazawa

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Logical Formulas

Term Rewriting Systems

Linear Functions

Top Venues

Publications

Yoshiaki Kanazawa, Naoki Nishida
On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems. WPTE@FSCD (2018)