UNIF 2014 SHORT PAPERS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A C D E G H I L M N P S T U

A
admissible rule	From Admissibility to a New Hierarchy of Unification Types (PDF, talk)
algebraic unification	From Admissibility to a New Hierarchy of Unification Types (PDF, talk)
Arrays	Unification Modulo Common List Functions (PDF, talk)
Asymmetric unification	On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract) (PDF, talk)
automated theorem proving	Constraint Manipulation in SGGS (PDF, talk)
C
Calculus of Inductive Constructions	Towards a better-behaved unification algorithm for Coq (PDF, talk)
Canonical Structures	Towards a better-behaved unification algorithm for Coq (PDF, talk)
category theory	A Categorical Perspective on Pattern Unification (Extended Abstract) (PDF, talk)
Combination	Hierarchical Combination of Matching Algorithms (Extended Abstract) (PDF, talk)
combination of equational theories	On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract) (PDF, talk)
complexity	Unification Modulo Common List Functions (PDF, talk) Matching with respect to general concept inclusions in the Description Logic EL (PDF, talk)
Computability and complexity	Unification in the normal modal logic Alt1 (PDF, talk)
Computation of least general generalizations for nominal terms	Nominal Anti-Unification (PDF, talk)
Constraint Postponement	Towards a better-behaved unification algorithm for Coq (PDF, talk)
constraint solving	Constraint Manipulation in SGGS (PDF, talk)
Coq	Towards a better-behaved unification algorithm for Coq (PDF, talk)
D
Data structures	Unification Modulo Common List Functions (PDF, talk)
Description logic	Matching with respect to general concept inclusions in the Description Logic EL (PDF, talk)
E
EL	Matching with respect to general concept inclusions in the Description Logic EL (PDF, talk)
Equational Unification	Unification Modulo Common List Functions (PDF, talk)
exact algebra	From Admissibility to a New Hierarchy of Unification Types (PDF, talk)
G
Generalization of nominal terms-in-context	Nominal Anti-Unification (PDF, talk)
H
higher-order unification	A Categorical Perspective on Pattern Unification (Extended Abstract) (PDF, talk)
I
instantiation	Constraint Manipulation in SGGS (PDF, talk)
L
lambda calculus	A Categorical Perspective on Pattern Unification (Extended Abstract) (PDF, talk)
Lists	Unification Modulo Common List Functions (PDF, talk)
locally finite variety	From Admissibility to a New Hierarchy of Unification Types (PDF, talk)
M
Matching	Matching with respect to general concept inclusions in the Description Logic EL (PDF, talk) Hierarchical Combination of Matching Algorithms (Extended Abstract) (PDF, talk)
N
Nominal Anti-Unification	Nominal Anti-Unification (PDF, talk)
Nominal Equivariance Algorithm	Nominal Anti-Unification (PDF, talk)
Normal modal logic	Unification in the normal modal logic Alt1 (PDF, talk)
NP-completeness	Two-sided unification is NP-complete (PDF, talk)
P
program refactoring	Two-sided unification is NP-complete (PDF, talk)
program verification	Unification Modulo Common List Functions (PDF, talk)
S
substitution	Two-sided unification is NP-complete (PDF, talk)
T
termination	Constraint Manipulation in SGGS (PDF, talk)
tiling problem	Two-sided unification is NP-complete (PDF, talk)
U
Unification	Unification in the normal modal logic Alt1 (PDF, talk) On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract) (PDF, talk) Hierarchical Combination of Matching Algorithms (Extended Abstract) (PDF, talk) Two-sided unification is NP-complete (PDF, talk) Towards a better-behaved unification algorithm for Coq (PDF, talk)
Unification type	From Admissibility to a New Hierarchy of Unification Types (PDF, talk)