FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Critical Pairs in Graph Transformation Systems

Fernando Orejas

Finding the Transitive Closure of Functional Dependencies using Strategic Port Graph Rewriting

János Varga

Programming by Term Rewriting

Lee Barnett and David Plaisted

SLD-Resolution Reduction of Second-Order Horn Fragments - Extended Abstract

Sophie Tourret and Andrew Cropper
Total: 4 presentations.