Volume
@proceedings{UNIF2013,
title = {UNIF 2013. 27th International Workshop on Unification},
editor = {Konstantin Korovin and Barbara Morawska},
series = {EPiC Series in Computing},
volume = {19},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2013}}
Papers
@inproceedings{UNIF2013:Unification_Anti_unification_modulo,
author = {Santiago Escobar},
title = {Unification and Anti-unification modulo Equational Theories},
booktitle = {UNIF 2013. 27th International Workshop on Unification},
editor = {Konstantin Korovin and Barbara Morawska},
series = {EPiC Series in Computing},
volume = {19},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/gt9},
doi = {10.29007/65sh},
pages = {1},
year = {2013}}
@inproceedings{UNIF2013:Anti_Unification_Algorithms_Applications,
author = {Temur Kutsia},
title = {Anti-Unification: Algorithms and Applications},
booktitle = {UNIF 2013. 27th International Workshop on Unification},
editor = {Konstantin Korovin and Barbara Morawska},
series = {EPiC Series in Computing},
volume = {19},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/nT4h},
doi = {10.29007/jbx2},
pages = {2},
year = {2013}}
@inproceedings{UNIF2013:Detecting_Modular_ACU_Structural,
author = {María Alpuente and Santiago Escobar and Javier Espert},
title = {Detecting Modular ACU Structural Symmetries},
booktitle = {UNIF 2013. 27th International Workshop on Unification},
editor = {Konstantin Korovin and Barbara Morawska},
series = {EPiC Series in Computing},
volume = {19},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/F6q},
doi = {10.29007/mzj3},
pages = {3-7},
year = {2013}}
@inproceedings{UNIF2013:Hybrid_Unification_Description_Logic,
author = {Franz Baader and Oliver Fernandez Gil and Barbara Morawska},
title = {Hybrid Unification in the Description Logic EL},
booktitle = {UNIF 2013. 27th International Workshop on Unification},
editor = {Konstantin Korovin and Barbara Morawska},
series = {EPiC Series in Computing},
volume = {19},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/cWv},
doi = {10.29007/h59c},
pages = {8-12},
year = {2013}}
@inproceedings{UNIF2013:Unranked_Anti_Unification_with,
author = {Alexander Baumgartner and Temur Kutsia},
title = {Unranked Anti-Unification with Hedge and Context Variables},
booktitle = {UNIF 2013. 27th International Workshop on Unification},
editor = {Konstantin Korovin and Barbara Morawska},
series = {EPiC Series in Computing},
volume = {19},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Lq},
doi = {10.29007/hg9q},
pages = {13-21},
year = {2013}}
@inproceedings{UNIF2013:Unication_Problems_Modulo_Theory,
author = {Shreyaben Brahmakshatriya and Sushma Danturi and Kimberly Gero and Paliath Narendran},
title = {Unication Problems Modulo a Theory of Until},
booktitle = {UNIF 2013. 27th International Workshop on Unification},
editor = {Konstantin Korovin and Barbara Morawska},
series = {EPiC Series in Computing},
volume = {19},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/9d},
doi = {10.29007/mj4l},
pages = {22-29},
year = {2013}}
@inproceedings{UNIF2013:Hierarchical_Combination_Unication_Algorithms,
author = {Serdar Erbatur and Deepak Kapur and Andrew M Marshall and Paliath Narendran and Christophe Ringeissen},
title = {Hierarchical Combination of Unication Algorithms (Extended Abstract)},
booktitle = {UNIF 2013. 27th International Workshop on Unification},
editor = {Konstantin Korovin and Barbara Morawska},
series = {EPiC Series in Computing},
volume = {19},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/wB},
doi = {10.29007/vb87},
pages = {30-34},
year = {2013}}
@inproceedings{UNIF2013:Is_it_possible_unify,
author = {Tatyana Novikova and Vladimir Zakharov},
title = {Is it possible to unify sequential programs?},
booktitle = {UNIF 2013. 27th International Workshop on Unification},
editor = {Konstantin Korovin and Barbara Morawska},
series = {EPiC Series in Computing},
volume = {19},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/J4},
doi = {10.29007/77z3},
pages = {35-45},
year = {2013}}