FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

C
context-free	A Framework for Rewriting Families of String Diagrams (PDF, talk)
Cyclic graphs	Drags: an algebraic framework for graph rewriting (PDF, talk)
D
Double-pushout graph transformation	Semantics-Preserving DPO-Based Term Graph Rewriting (PDF, talk)
F
functional dependency	Finding the Transitive Closure of Functional Dependencies using Strategic Port Graph Rewriting (PDF, talk)
G
graph encoding	SLD-Resolution Reduction of Second-Order Horn Fragments - Extended Abstract (PDF, talk)
graph grammars	A Framework for Rewriting Families of String Diagrams (PDF, talk)
graph rewriting	Drags: an algebraic framework for graph rewriting (PDF, talk)
graph rewriting systems	A Port-graph Model for Finance (PDF, talk)
H
Horn clauses	SLD-Resolution Reduction of Second-Order Horn Fragments - Extended Abstract (PDF, talk)
I
ILP	SLD-Resolution Reduction of Second-Order Horn Fragments - Extended Abstract (PDF, talk)
Imperative languages	Programming by Term Rewriting (PDF, talk)
L
logical design	Finding the Transitive Closure of Functional Dependencies using Strategic Port Graph Rewriting (PDF, talk)
M
Multi-graphs	Drags: an algebraic framework for graph rewriting (PDF, talk)
O
ordinal diagram system	On quasi ordinal diagram systems (PDF, talk)
P
port graphs	Finding the Transitive Closure of Functional Dependencies using Strategic Port Graph Rewriting (PDF, talk)
Program translation	Programming by Term Rewriting (PDF, talk)
Q
Quantum Computing	A Framework for Rewriting Families of String Diagrams (PDF, talk)
R
Reduction orderings	On quasi ordinal diagram systems (PDF, talk)
relational databases	Finding the Transitive Closure of Functional Dependencies using Strategic Port Graph Rewriting (PDF, talk)
relational theory	Finding the Transitive Closure of Functional Dependencies using Strategic Port Graph Rewriting (PDF, talk)
S
securitisation	A Port-graph Model for Finance (PDF, talk)
Semantics preservation	Semantics-Preserving DPO-Based Term Graph Rewriting (PDF, talk)
simulation	A Port-graph Model for Finance (PDF, talk)
SLD-resolution	SLD-Resolution Reduction of Second-Order Horn Fragments - Extended Abstract (PDF, talk)
strategic graph rewriting	Finding the Transitive Closure of Functional Dependencies using Strategic Port Graph Rewriting (PDF, talk)
strategy languages	A Port-graph Model for Finance (PDF, talk)
string diagrams	A Framework for Rewriting Families of String Diagrams (PDF, talk)
T
Term graph transformation	Semantics-Preserving DPO-Based Term Graph Rewriting (PDF, talk)
term rewriting	Drags: an algebraic framework for graph rewriting (PDF, talk)
term rewriting systems	Programming by Term Rewriting (PDF, talk)
termination proofs	On quasi ordinal diagram systems (PDF, talk)
V
Verification	Programming by Term Rewriting (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program