Yoshiharu Kojima

Publication Activity (10 Years)

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

Top Topics

Constraint Satisfaction

Top Venues

Publications

Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai
Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies. CADE (2015)
Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai
Controlled Term Rewriting. FroCoS (2011)
Yoshiharu Kojima, Masahiko Sakai
Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems. RTA (2008)