TALK KEYWORD INDEX

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

A | |

ACUI | |

all maximal clique partitions in a graph | |

Anti-unification | |

atom variables | |

B | |

Binding operations | |

Bounded | |

C | |

contact logics | |

E | |

Efficiency | |

equational rewriting | |

Equational theories | |

equational theory | |

essential unification | |

F | |

First-Order Syntactic Unification | |

formalization | |

fuzzy generalization | |

G | |

ground theories | |

H | |

Homomorphism | |

I | |

Idempontent | |

intruder deduction problem | |

Isabelle Proof Assistant | |

K | |

Knuth-Bendix criterion | |

N | |

nominal rewriting | |

nominal unification | |

O | |

ordering | |

P | |

proximity relation | |

Q | |

qualitattive spatial reasoning | |

S | |

Splitting | |

static equivalence problem | |

subterm convergent theories | |

U | |

unification | |

α | |

α-conversion |