VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

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

Disclaimer | Powered by EasyChair Smart Program