UNIF 2012:BibTeX Entries

Volume

@proceedings{UNIF2012,
  title     = {UNIF 2012 Post-Worskhop Proceedings. The 26th International  Workshop on Unification},
  editor    = {Santiago Escobar and Konstantin Korovin and Vladimir Rybakov},
  series    = {EPiC Series in Computing},
  volume    = {24},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{UNIF2012:Recent_Advances_in_Unification,
  author    = {Franz Baader and Stefan Borgwardt and Barbara Morawska},
  title     = {Recent Advances in Unification for the EL Family},
  booktitle = {UNIF 2012 Post-Worskhop Proceedings. The 26th International  Workshop on Unification},
  editor    = {Santiago Escobar and Konstantin Korovin and Vladimir Rybakov},
  series    = {EPiC Series in Computing},
  volume    = {24},
  pages     = {1--6},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/T16},
  doi       = {10.29007/q5px}}

@inproceedings{UNIF2012:use_of_types_in,
  author    = {Serdar Erbatur and Santiago Escobar and Paliath Narendran},
  title     = {The use of types in designing unification algorithms: two case studies},
  booktitle = {UNIF 2012 Post-Worskhop Proceedings. The 26th International  Workshop on Unification},
  editor    = {Santiago Escobar and Konstantin Korovin and Vladimir Rybakov},
  series    = {EPiC Series in Computing},
  volume    = {24},
  pages     = {7--16},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Mqw},
  doi       = {10.29007/lbk5}}

@inproceedings{UNIF2012:Some_Notes_on_Basic,
  author    = {Kimberly Gero and Chris Bouchard and Paliath Narendran},
  title     = {Some Notes on Basic Syntactic Mutation},
  booktitle = {UNIF 2012 Post-Worskhop Proceedings. The 26th International  Workshop on Unification},
  editor    = {Santiago Escobar and Konstantin Korovin and Vladimir Rybakov},
  series    = {EPiC Series in Computing},
  volume    = {24},
  pages     = {17--27},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/PmL},
  doi       = {10.29007/sdp1}}

@inproceedings{UNIF2012:Bounded_Higher_order_Unification_using,
  author    = {Tomer Libal},
  title     = {Bounded Higher-order Unification using Regular Terms},
  booktitle = {UNIF 2012 Post-Worskhop Proceedings. The 26th International  Workshop on Unification},
  editor    = {Santiago Escobar and Konstantin Korovin and Vladimir Rybakov},
  series    = {EPiC Series in Computing},
  volume    = {24},
  pages     = {28--49},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/B6J},
  doi       = {10.29007/zhpc}}