FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Disclaimer | Powered by EasyChair Smart Program