Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Volume
•
Abstracts
•
Preface
•
Authors
•
Keywords
•
BibTex Entries
UNIF 2012: Author Index
Author
Papers
B
Baader, Franz
Recent Advances in Unification for the EL Family
Borgwardt, Stefan
Recent Advances in Unification for the EL Family
Bouchard, Christopher
Some Notes on Basic Syntactic Mutation
E
Erbatur, Serdar
The use of types in designing unification algorithms: two case studies
Escobar, Santiago
The use of types in designing unification algorithms: two case studies
G
Gero, Kimberly
Some Notes on Basic Syntactic Mutation
L
Libal, Tomer
Bounded Higher-order Unification using Regular Terms
M
Morawska, Barbara
Recent Advances in Unification for the EL Family
N
Narendran, Paliath
The use of types in designing unification algorithms: two case studies
Some Notes on Basic Syntactic Mutation
Copyright © 2012-2024 easychair.org. All rights reserved.