Travelled to:1 × Austria
1 × Germany
Collaborated with:M.Sakai F.Jacquemard
Talks about:reachabl (2) context (2) rewrit (2) term (2) constraint (1) innermost (1) strategi (1) properti (1) shallow (1) system (1)
Person: Yoshiharu Kojima
DBLP: Kojima:Yoshiharu
Contributed to:
2015
2008Wrote 2 papers:
- CADE-2015-JacquemardKS #bottom-up #constraints #term rewriting
- Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies (FJ, YK, MS), pp. 137–151.
- RTA-2008-KojimaS #decidability #linear #reachability #term rewriting
- Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems (YK, MS), pp. 187–201.