UNIF 2013:BibTeX Entries

Volume

@proceedings{UNIF2013,
  title     = {UNIF 2013. 27th International Workshop on Unification},
  editor    = {Konstantin Korovin and Barbara Morawska},
  series    = {EPiC Series in Computing},
  volume    = {19},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{UNIF2013:Unification_and_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},
  pages     = {1},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/gt9},
  doi       = {10.29007/65sh}}

@inproceedings{UNIF2013:Anti_Unification_Algorithms_and_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},
  pages     = {2},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/nT4h},
  doi       = {10.29007/jbx2}}

@inproceedings{UNIF2013:Detecting_Modular_ACU_Structural,
  author    = {Mar\textbackslash{}'ia 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},
  pages     = {3--7},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/F6q},
  doi       = {10.29007/mzj3}}

@inproceedings{UNIF2013:Hybrid_Unification_in_Description,
  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},
  pages     = {8--12},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/cWv},
  doi       = {10.29007/h59c}}

@inproceedings{UNIF2013:Unranked_Anti_Unification_with_Hedge,
  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},
  pages     = {13--21},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Lq},
  doi       = {10.29007/hg9q}}

@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},
  pages     = {22--29},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/9d},
  doi       = {10.29007/mj4l}}

@inproceedings{UNIF2013:Hierarchical_Combination_of_Unication,
  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},
  pages     = {30--34},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/wB},
  doi       = {10.29007/vb87}}

@inproceedings{UNIF2013:Is_it_possible_to,
  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},
  pages     = {35--45},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/J4},
  doi       = {10.29007/77z3}}