HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

UNIF 2012:Keyword Index

KeywordPapers
B
Bounded unificationBounded Higher-order Unification using Regular Terms
bounded unification algorithmsBounded Higher-order Unification using Regular Terms
C
Computing UnifiersRecent Advances in Unification for the EL Family
D
Description LogicsRecent Advances in Unification for the EL Family
E
El Gamal Signature SchemeThe use of types in designing unification algorithms: two case studies
Equational UnificationThe use of types in designing unification algorithms: two case studies
Some Notes on Basic Syntactic Mutation
Exponent of periodicityBounded Higher-order Unification using Regular Terms
G
General Concept InclusionsRecent Advances in Unification for the EL Family
H
higher-order unificationBounded Higher-order Unification using Regular Terms
M
Minimal UnifiersRecent Advances in Unification for the EL Family
R
regular termsBounded Higher-order Unification using Regular Terms
S
subterm-collapseSome Notes on Basic Syntactic Mutation
T
term rewritingSome Notes on Basic Syntactic Mutation
Term Rewriting SystemsSome Notes on Basic Syntactic Mutation
type systemsThe use of types in designing unification algorithms: two case studies
U
unificationRecent Advances in Unification for the EL Family
unification modulo convergent term rewrite systemsSome Notes on Basic Syntactic Mutation
Copyright © 2012-2023 easychair.org. All rights reserved.