TALK KEYWORD INDEX

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

A | |

algebraic confluence | |

C | |

certification | |

cluster algebra | |

coherence | |

conditional rewriting | |

confluence | |

Confluence modulo | |

D | |

data compression | |

diamond lemma | |

F | |

formalization | |

free modules | |

G | |

Gray categories | |

ground systems | |

H | |

higher categories | |

I | |

Isabelle/HOL | |

N | |

Newman's lemma | |

O | |

ordered completion | |

R | |

rewriting | |

S | |

string data structure | |

string rewriting | |

syzygies | |

T | |

term rewriting | |

termination | |

top tree | |

U | |

unique normal form property | |

unraveling |