TALK KEYWORD INDEX

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

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 |