Search dblp for Publications

• > Home > Search

@proceedings{DBLP:conf/cade/2012unif,
  editor       = {Santiago Escobar and
                  Konstantin Korovin and
                  Vladimir V. Rybakov},
  title        = {{UNIF} 2012 Post-Worskhop Proceedings. The 26th International Workshop
                  on Unification, Manchester, UK, July 1, 2012},
  series       = {EPiC Series in Computing},
  volume       = {24},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://easychair.org/publications/volume/UNIF\_2012},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/2012unif.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BaaderBM12a,
  author       = {Franz Baader and
                  Stefan Borgwardt and
                  Barbara Morawska},
  editor       = {Santiago Escobar and
                  Konstantin Korovin and
                  Vladimir V. Rybakov},
  title        = {Recent Advances in Unification for the {EL} Family},
  booktitle    = {{UNIF} 2012 Post-Worskhop Proceedings. The 26th International Workshop
                  on Unification, Manchester, UK, July 1, 2012},
  series       = {EPiC Series in Computing},
  volume       = {24},
  pages        = {1--6},
  publisher    = {EasyChair},
  year         = {2012},
  url          = {https://doi.org/10.29007/q5px},
  doi          = {10.29007/Q5PX},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BaaderBM12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ErbaturEN12,
  author       = {Serdar Erbatur and
                  Santiago Escobar and
                  Paliath Narendran},
  editor       = {Santiago Escobar and
                  Konstantin Korovin and
                  Vladimir V. Rybakov},
  title        = {The use of types in designing unification algorithms: two case studies},
  booktitle    = {{UNIF} 2012 Post-Worskhop Proceedings. The 26th International Workshop
                  on Unification, Manchester, UK, July 1, 2012},
  series       = {EPiC Series in Computing},
  volume       = {24},
  pages        = {7--16},
  publisher    = {EasyChair},
  year         = {2012},
  url          = {https://doi.org/10.29007/lbk5},
  doi          = {10.29007/LBK5},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ErbaturEN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/GeroBN12,
  author       = {Kimberly A. Gero and
                  Christopher Bouchard and
                  Paliath Narendran},
  editor       = {Santiago Escobar and
                  Konstantin Korovin and
                  Vladimir V. Rybakov},
  title        = {Some Notes on Basic Syntactic Mutation},
  booktitle    = {{UNIF} 2012 Post-Worskhop Proceedings. The 26th International Workshop
                  on Unification, Manchester, UK, July 1, 2012},
  series       = {EPiC Series in Computing},
  volume       = {24},
  pages        = {17--27},
  publisher    = {EasyChair},
  year         = {2012},
  url          = {https://doi.org/10.29007/sdp1},
  doi          = {10.29007/SDP1},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/GeroBN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Libal12,
  author       = {Tomer Libal},
  editor       = {Santiago Escobar and
                  Konstantin Korovin and
                  Vladimir V. Rybakov},
  title        = {Bounded Higher-order Unification using Regular Terms},
  booktitle    = {{UNIF} 2012 Post-Worskhop Proceedings. The 26th International Workshop
                  on Unification, Manchester, UK, July 1, 2012},
  series       = {EPiC Series in Computing},
  volume       = {24},
  pages        = {28--49},
  publisher    = {EasyChair},
  year         = {2012},
  url          = {https://doi.org/10.29007/zhpc},
  doi          = {10.29007/ZHPC},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Libal12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}