Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/rta/AlpuenteEE13,
  author       = {Mar{\'{\i}}a Alpuente and
                  Santiago Escobar and
                  Javier Espert},
  editor       = {Konstantin Korovin and
                  Barbara Morawska},
  title        = {Detecting Modular {ACU} Structural Symmetries},
  booktitle    = {27th International Workshop on Unification, {UNIF} 2013, Eindhoven,
                  Netherlands, June 26, 2013},
  series       = {EPiC Series in Computing},
  volume       = {19},
  pages        = {3--7},
  publisher    = {EasyChair},
  year         = {2013},
  url          = {https://doi.org/10.29007/mzj3},
  doi          = {10.29007/MZJ3},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/AlpuenteEE13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BaaderGM13,
  author       = {Franz Baader and
                  Oliver Fernandez Gil and
                  Barbara Morawska},
  editor       = {Konstantin Korovin and
                  Barbara Morawska},
  title        = {Hybrid Unification in the Description Logic {EL}},
  booktitle    = {27th International Workshop on Unification, {UNIF} 2013, Eindhoven,
                  Netherlands, June 26, 2013},
  series       = {EPiC Series in Computing},
  volume       = {19},
  pages        = {8--12},
  publisher    = {EasyChair},
  year         = {2013},
  url          = {https://doi.org/10.29007/h59c},
  doi          = {10.29007/H59C},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BaaderGM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BaumgartnerK13,
  author       = {Alexander Baumgartner and
                  Temur Kutsia},
  editor       = {Konstantin Korovin and
                  Barbara Morawska},
  title        = {Unranked Anti-Unification with Hedge and Context Variables},
  booktitle    = {27th International Workshop on Unification, {UNIF} 2013, Eindhoven,
                  Netherlands, June 26, 2013},
  series       = {EPiC Series in Computing},
  volume       = {19},
  pages        = {13--21},
  publisher    = {EasyChair},
  year         = {2013},
  url          = {https://doi.org/10.29007/hg9q},
  doi          = {10.29007/HG9Q},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BaumgartnerK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BrahmakshatriyaDGN13,
  author       = {Shreyaben Brahmakshatriya and
                  Sushma Danturi and
                  Kimberly A. Gero and
                  Paliath Narendran},
  editor       = {Konstantin Korovin and
                  Barbara Morawska},
  title        = {Unication Problems Modulo a Theory of Until},
  booktitle    = {27th International Workshop on Unification, {UNIF} 2013, Eindhoven,
                  Netherlands, June 26, 2013},
  series       = {EPiC Series in Computing},
  volume       = {19},
  pages        = {22--29},
  publisher    = {EasyChair},
  year         = {2013},
  url          = {https://doi.org/10.29007/mj4l},
  doi          = {10.29007/MJ4L},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/BrahmakshatriyaDGN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/ErbaturKMNR13,
  author       = {Serdar Erbatur and
                  Deepak Kapur and
                  Andrew M. Marshall and
                  Paliath Narendran and
                  Christophe Ringeissen},
  editor       = {Konstantin Korovin and
                  Barbara Morawska},
  title        = {Hierarchical Combination of Unication Algorithms (Extended Abstract)},
  booktitle    = {27th International Workshop on Unification, {UNIF} 2013, Eindhoven,
                  Netherlands, June 26, 2013},
  series       = {EPiC Series in Computing},
  volume       = {19},
  pages        = {30--34},
  publisher    = {EasyChair},
  year         = {2013},
  url          = {https://doi.org/10.29007/vb87},
  doi          = {10.29007/VB87},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/ErbaturKMNR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Escobar13,
  author       = {Santiago Escobar},
  editor       = {Konstantin Korovin and
                  Barbara Morawska},
  title        = {Unification and Anti-unification modulo Equational Theories},
  booktitle    = {27th International Workshop on Unification, {UNIF} 2013, Eindhoven,
                  Netherlands, June 26, 2013},
  series       = {EPiC Series in Computing},
  volume       = {19},
  pages        = {1},
  publisher    = {EasyChair},
  year         = {2013},
  url          = {https://doi.org/10.29007/65sh},
  doi          = {10.29007/65SH},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Escobar13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Kutsia13,
  author       = {Temur Kutsia},
  editor       = {Konstantin Korovin and
                  Barbara Morawska},
  title        = {Anti-Unification: Algorithms and Applications},
  booktitle    = {27th International Workshop on Unification, {UNIF} 2013, Eindhoven,
                  Netherlands, June 26, 2013},
  series       = {EPiC Series in Computing},
  volume       = {19},
  pages        = {2},
  publisher    = {EasyChair},
  year         = {2013},
  url          = {https://doi.org/10.29007/jbx2},
  doi          = {10.29007/JBX2},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Kutsia13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/NovikovaZ13,
  author       = {Tatyana A. Novikova and
                  Vladimir A. Zakharov},
  editor       = {Konstantin Korovin and
                  Barbara Morawska},
  title        = {Is it possible to unify sequential programs?},
  booktitle    = {27th International Workshop on Unification, {UNIF} 2013, Eindhoven,
                  Netherlands, June 26, 2013},
  series       = {EPiC Series in Computing},
  volume       = {19},
  pages        = {35--45},
  publisher    = {EasyChair},
  year         = {2013},
  url          = {https://doi.org/10.29007/77z3},
  doi          = {10.29007/77Z3},
  timestamp    = {Tue, 19 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/NovikovaZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rta/2013unif,
  editor       = {Konstantin Korovin and
                  Barbara Morawska},
  title        = {27th International Workshop on Unification, {UNIF} 2013, Eindhoven,
                  Netherlands, June 26, 2013},
  series       = {EPiC Series in Computing},
  volume       = {19},
  publisher    = {EasyChair},
  year         = {2013},
  url          = {https://easychair.org/publications/volume/UNIF\_2013},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/2013unif.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}