Talk Keyword Index

TALK KEYWORD INDEX

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

Shortcuts: A C D E F G H K L M N O P S T U

A
alpha-equivalence	Nominal Anti-Unification of Letrec-Expressions
anti-unification	Nominal Anti-Unification of Letrec-Expressions
Approximate Reasoning	Fuzzy Order-Sorted Feature Term Unification
automated reasoning	Higher-Order Unification with Definition by Cases Unification types in modal logics Unification Decision Procedures using Basic Narrowing modulo an Equational Theory
C
choice operator	Higher-Order Unification with Definition by Cases
Complexit and decidability	Restricted Unification in the Description Logic FLbot
D
Deducibility	Graph-Embedded Term Rewrite Systems and Applications (A Preliminary Report)
definition by cases	Higher-Order Unification with Definition by Cases
dependent types	Higher-order unification from E-unification with second-order equations and parametrised metavariables
E
E-unification	Higher-order unification from E-unification with second-order equations and parametrised metavariables
F
FL0	Restricted Unification in the Description Logic FLbot
FLbot	Restricted Unification in the Description Logic FLbot
formal methods	Unification types in modal logics Unification Decision Procedures using Basic Narrowing modulo an Equational Theory
Fuzzy Subsumption	Fuzzy Order-Sorted Feature Term Unification
G
Graph-minors	Graph-Embedded Term Rewrite Systems and Applications (A Preliminary Report)
H
higher-order	Higher-Order Unification with Definition by Cases
higher-order unification	Higher-order unification from E-unification with second-order equations and parametrised metavariables
K
Knowledge Representation	Fuzzy Order-Sorted Feature Term Unification
L
Letrec languages	Nominal Anti-Unification of Letrec-Expressions
M
Many-Sorted Logic	Fuzzy Order-Sorted Feature Term Unification
N
Nominal Techniques	Nominal Anti-Unification of Letrec-Expressions
O
Order-Sorted Logic	Fuzzy Order-Sorted Feature Term Unification
P
paramodulation	Higher-order unification from E-unification with second-order equations and parametrised metavariables
S
second-order equations	Higher-order unification from E-unification with second-order equations and parametrised metavariables
Static equivalence	Graph-Embedded Term Rewrite Systems and Applications (A Preliminary Report)
T
Term Rewrite Systems	Graph-Embedded Term Rewrite Systems and Applications (A Preliminary Report)
type inference	Higher-order unification from E-unification with second-order equations and parametrised metavariables
U
unification	Fuzzy Order-Sorted Feature Term Unification Higher-order unification from E-unification with second-order equations and parametrised metavariables Higher-Order Unification with Definition by Cases
Unification in Description Logics	Restricted Unification in the Description Logic FLbot
unification theory	Unification types in modal logics Unification Decision Procedures using Basic Narrowing modulo an Equational Theory