Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Volume
•
Abstracts
•
Preface
•
Authors
•
Keywords
•
BibTex Entries
UNIF 2012
:
Keyword Index
Keyword
Papers
B
Bounded unification
Bounded Higher-order Unification using Regular Terms
bounded unification algorithms
Bounded Higher-order Unification using Regular Terms
C
Computing Unifiers
Recent Advances in Unification for the EL Family
D
Description Logics
Recent Advances in Unification for the EL Family
E
El Gamal Signature Scheme
The use of types in designing unification algorithms: two case studies
Equational Unification
The use of types in designing unification algorithms: two case studies
Some Notes on Basic Syntactic Mutation
Exponent of periodicity
Bounded Higher-order Unification using Regular Terms
G
General Concept Inclusions
Recent Advances in Unification for the EL Family
H
higher-order unification
Bounded Higher-order Unification using Regular Terms
M
Minimal Unifiers
Recent Advances in Unification for the EL Family
R
regular terms
Bounded Higher-order Unification using Regular Terms
S
subterm-collapse
Some Notes on Basic Syntactic Mutation
T
term rewriting
Some Notes on Basic Syntactic Mutation
Term Rewriting Systems
Some Notes on Basic Syntactic Mutation
type systems
The use of types in designing unification algorithms: two case studies
U
unification
Recent Advances in Unification for the EL Family
unification modulo convergent term rewrite systems
Some Notes on Basic Syntactic Mutation
Copyright © 2012-2023 easychair.org. All rights reserved.