Conference: IWC 2018 (7th International Workshop on Confluence)

Conference: IWC 2018 (7th International Workshop on Confluence)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Critical pairs for Gray categories

Critical pairs for Gray categories

Towards a Verified Decision Procedure for Confluence of Ground Term Rewrite Systems in Isabelle/HOL

Towards a Verified Decision Procedure for Confluence of Ground Term Rewrite Systems in Isabelle/HOL

Bertram Felgenhauer, Aart Middeldorp, T. V. H. Prathamesh and Franziska Rapp

IWC Business Meeting

IWC Business Meeting

Nao Hirokawa and Aart Middeldorp

Convergence of Simultaneously and Sequentially Unraveled TRSs for Normal Conditional TRSs

Convergence of Simultaneously and Sequentially Unraveled TRSs for Normal Conditional TRSs

Naoki Nishida, Yuta Tsuruta and Yoshiaki Kanazawa

Presentations in this collection: 4