FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

Editors: Jakob Grue Simonsen and Bertram Felgenhauer

Authors	Title	Paper	Talk
Henning Christiansen and Maja H. Kirkeby	Confluence in Constraint Handling Rules
Simon Forest	Critical pairs for Gray categories		Jul 07 11:30
Nohra Hage and Philippe Malbos	Coherence of monoids by insertions		Jul 07 11:00
Benjamin Dupont and Philippe Malbos	Coherence modulo relations		Jul 07 10:00
Cyrille Chenavier	The diamond lemma for free modules		Jul 07 12:00
Christian Sternagel and Sarah Winkler	Certified Ordered Completion		Jul 07 15:00
Bertram Felgenhauer, Aart Middeldorp, T. V. H. Prathamesh and Franziska Rapp	Towards a Verified Decision Procedure for Confluence of Ground Term Rewrite Systems in Isabelle/HOL		Jul 07 14:30
Naoki Nishida, Yuta Tsuruta and Yoshiaki Kanazawa	Convergence of Simultaneously and Sequentially Unraveled TRSs for Normal Conditional TRSs		Jul 07 14:00
Kousuke Fukui and Koji Nakazawa	Complete Axiom System of Cluster Algebra		Jul 07 16:00

Disclaimer | Powered by EasyChair Smart Program