Production year

Number of documents

2


"Yoshiharu Kojima"   

Conference papers2 documents

  • Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai. Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies. 25th International Conference on Automated Deduction (CADE’15), Aug 2015, Berlin, Germany. ⟨hal-01149319v2⟩
  • Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai. Controlled Term Rewriting. 8th International Symposium Frontiers of Combining Systems (FroCoS 2011), Oct 2011, Saarbrücken, Germany. pp.179-194. ⟨hal-00643160⟩