FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

C
Chenavier, Cyrille	The diamond lemma for free modules (PDF, talk)
Christiansen, Henning	Confluence in Constraint Handling Rules (PDF)
D
Dupont, Benjamin	Coherence modulo relations (PDF, talk)
F
Felgenhauer, Bertram	Towards a Verified Decision Procedure for Confluence of Ground Term Rewrite Systems in Isabelle/HOL (PDF, talk)
Forest, Simon	Critical pairs for Gray categories (PDF, talk)
Fukui, Kousuke	Complete Axiom System of Cluster Algebra (PDF, talk)
H
Hage, Nohra	Coherence of monoids by insertions (PDF, talk)
K
Kanazawa, Yoshiaki	Convergence of Simultaneously and Sequentially Unraveled TRSs for Normal Conditional TRSs (PDF, talk)
Kirkeby, Maja H.	Confluence in Constraint Handling Rules (PDF)
M
Malbos, Philippe	Coherence of monoids by insertions (PDF, talk) Coherence modulo relations (PDF, talk)
Middeldorp, Aart	Towards a Verified Decision Procedure for Confluence of Ground Term Rewrite Systems in Isabelle/HOL (PDF, talk)
N
Nakazawa, Koji	Complete Axiom System of Cluster Algebra (PDF, talk)
Nishida, Naoki	Convergence of Simultaneously and Sequentially Unraveled TRSs for Normal Conditional TRSs (PDF, talk)
P
Prathamesh, T. V. H.	Towards a Verified Decision Procedure for Confluence of Ground Term Rewrite Systems in Isabelle/HOL (PDF, talk)
R
Rapp, Franziska	Towards a Verified Decision Procedure for Confluence of Ground Term Rewrite Systems in Isabelle/HOL (PDF, talk)
S
Sternagel, Christian	Certified Ordered Completion (PDF, talk)
T
Tsuruta, Yuta	Convergence of Simultaneously and Sequentially Unraveled TRSs for Normal Conditional TRSs (PDF, talk)
W
Winkler, Sarah	Certified Ordered Completion (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program