Yoshiharu Kojima

According to our database, Yoshiharu Kojima authored at least 3 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies.

Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai

Proceedings of the Automated Deduction - CADE-25, 2015

2011

Controlled Term Rewriting.

Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai

Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

2008

Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems.

Yoshiharu Kojima, Masahiko Sakai

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008