FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK KEYWORD INDEX

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

Shortcuts: ABCDGIKLMOPT
A
algebraic graph rewriting
B
BPMN
C
category theory
causal graph
causality
Church encoding
computational interpretation
Curry-Howard correspondence
D
data representation
double push out approach
double pushout approach
G
generative power
graph grammar
graph rewriting
graph transformations
greedy decomposition
I
intuitionistic linear logic
K
Kleene star
L
Lambek Calculus
linear logic
M
model checking
monadic embedding
multistep reduction
O
oudenadic embedding
P
PBPO+
permutation equivalence
process modeling
proof nets
T
topological multisorting
trace graph
tutorial