TALK KEYWORD INDEX

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

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 |