FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

This page contains an index consisting of author-provided keywords.

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

Disclaimer | Powered by EasyChair Smart Program