FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

Shortcuts: CDFGHILMOPQRSTV
C
context-free
Cyclic graphs
D
Double-pushout graph transformation
F
functional dependency
G
graph encoding
graph grammars
graph rewriting
graph rewriting systems
H
Horn clauses
I
ILP
Imperative languages
L
logical design
M
Multi-graphs
O
ordinal diagram system
P
port graphs
Program translation
Q
quantum computing
R
Reduction orderings
relational databases
relational theory
S
securitisation
Semantics preservation
simulation
SLD-resolution
strategic graph rewriting
strategy languages
string diagrams
T
Term graph transformation
term rewriting
term rewriting systems
termination proofs
V
Verification