This page shows all presentations of this author published in EasyChair Smart Slide.
ComplCoq: Rewrite Hint Construction with Completion Procedures
Mirai Ikebuchi and Keisuke Nakano
On repetitive right application of B-terms