EasyChair Smart SlideDocs/Log in
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

Simon Forest

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
Copyright © 2002 – 2024 EasyChair