FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

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

Nao Hirokawa and Aart Middeldorp

Convergence of Simultaneously and Sequentially Unraveled TRSs for Normal Conditional TRSs

Naoki Nishida, Yuta Tsuruta and Yoshiaki Kanazawa
Total: 3 presentations.