FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

Editors: Maribel Fernandez and Ian Mackie

Authors	Title	Paper	Talk
Clemens Grabmayer	Modeling Terms by Graphs with Structure Constraints (Two Illustrations)
Lee Barnett and David Plaisted	Programming by Term Rewriting		Jul 07 17:30
Nachum Dershowitz and Jean-Pierre Jouannaud	Drags: an algebraic framework for graph rewriting		Jul 07 11:00
Nneka Ene	A Port-graph Model for Finance		Jul 07 16:30
Wolfram Kahl and Yuhang Zhao	Semantics-Preserving DPO-Based Term Graph Rewriting		Jul 07 15:00
Mitsuhiro Okada and Yuta Takahashi	On quasi ordinal diagram systems		Jul 07 12:00
Sophie Tourret and Andrew Cropper	SLD-Resolution Reduction of Second-Order Horn Fragments - Extended Abstract		Jul 07 16:00
János Varga	Finding the Transitive Closure of Functional Dependencies using Strategic Port Graph Rewriting		Jul 07 17:00
Vladimir Zamdzhiev	A Framework for Rewriting Families of String Diagrams		Jul 07 11:30

Disclaimer | Powered by EasyChair Smart Program