Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/unif/AnantharamanLLNR08,
  author       = {Siva Anantharaman and
                  Hai Lin and
                  Christopher Lynch and
                  Paliath Narendran and
                  Micha{\"{e}}l Rusinowitch},
  editor       = {Mircea Marin},
  title        = {Unification modulo Homomorphic Encryption is Decidable},
  booktitle    = {Proceedings of the 22nd International Workshop on Unification, {UNIF}
                  2008, Castle of Hagenberg, Austria, July 18, 2008},
  pages        = {1--15},
  year         = {2008},
  url          = {https://www3.risc.jku.at/publications/download/risc\_3454/UNIF\_proceedings.pdf\#page=9},
  timestamp    = {Tue, 19 Sep 2023 14:44:31 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/AnantharamanLLNR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/unif/AriasLMN08,
  author       = {Emilio Jes{\'{u}}s Gallego Arias and
                  James Lipton and
                  Julio Mari{\~{n}}o and
                  Pablo Nogueira},
  editor       = {Mircea Marin},
  title        = {First-order unification using variable-free relational algebra},
  booktitle    = {Proceedings of the 22nd International Workshop on Unification, {UNIF}
                  2008, Castle of Hagenberg, Austria, July 18, 2008},
  pages        = {40--54},
  year         = {2008},
  url          = {https://www3.risc.jku.at/publications/download/risc\_3454/UNIF\_proceedings.pdf\#page=48},
  timestamp    = {Tue, 19 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/AriasLMN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/unif/BaaderBT08,
  author       = {Franz Baader and
                  Andreas Bauer and
                  Alwen Tiu},
  editor       = {Mircea Marin},
  title        = {Matching linear and non-linear trace patterns with regular policies},
  booktitle    = {Proceedings of the 22nd International Workshop on Unification, {UNIF}
                  2008, Castle of Hagenberg, Austria, July 18, 2008},
  pages        = {16--24},
  year         = {2008},
  url          = {https://www3.risc.jku.at/publications/download/risc\_3454/UNIF\_proceedings.pdf\#page=24},
  timestamp    = {Tue, 19 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/BaaderBT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/unif/BaaderM08,
  author       = {Franz Baader and
                  Barbara Morawska},
  editor       = {Mircea Marin},
  title        = {Unification in the Description Logic {EL} is of Type Zero},
  booktitle    = {Proceedings of the 22nd International Workshop on Unification, {UNIF}
                  2008, Castle of Hagenberg, Austria, July 18, 2008},
  pages        = {25--34},
  year         = {2008},
  url          = {https://www3.risc.jku.at/publications/download/risc\_3454/UNIF\_proceedings.pdf\#page=33},
  timestamp    = {Tue, 19 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/BaaderM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/unif/EscobarMS08,
  author       = {Santiago Escobar and
                  Jos{\'{e}} Meseguer and
                  Ralf Sasse},
  editor       = {Mircea Marin},
  title        = {Equational Unification by Variant Narrowing (Extended Abstract)},
  booktitle    = {Proceedings of the 22nd International Workshop on Unification, {UNIF}
                  2008, Castle of Hagenberg, Austria, July 18, 2008},
  pages        = {35--39},
  year         = {2008},
  url          = {https://www3.risc.jku.at/publications/download/risc\_3454/UNIF\_proceedings.pdf\#page=43},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/EscobarMS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/unif/MarinK08,
  author       = {Mircea Marin and
                  Temur Kutsia},
  editor       = {Mircea Marin},
  title        = {Matching with Membership Constraints for Hedge and Context Variables},
  booktitle    = {Proceedings of the 22nd International Workshop on Unification, {UNIF}
                  2008, Castle of Hagenberg, Austria, July 18, 2008},
  pages        = {55--68},
  year         = {2008},
  url          = {https://www3.risc.jku.at/publications/download/risc\_3454/UNIF\_proceedings.pdf\#page=63},
  timestamp    = {Tue, 19 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/MarinK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/unif/Ramsay08,
  author       = {Allan Ramsay},
  editor       = {Mircea Marin},
  title        = {A tractable logic of types},
  booktitle    = {Proceedings of the 22nd International Workshop on Unification, {UNIF}
                  2008, Castle of Hagenberg, Austria, July 18, 2008},
  pages        = {69--81},
  year         = {2008},
  url          = {https://www3.risc.jku.at/publications/download/risc\_3454/UNIF\_proceedings.pdf\#page=77},
  timestamp    = {Tue, 19 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/Ramsay08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/unif/SiekmannHS08,
  author       = {J{\"{o}}rg H. Siekmann and
                  Michael Hoche and
                  Peter Szab{\'{o}}},
  editor       = {Mircea Marin},
  title        = {String Unification is Essentially Infinitary},
  booktitle    = {Proceedings of the 22nd International Workshop on Unification, {UNIF}
                  2008, Castle of Hagenberg, Austria, July 18, 2008},
  pages        = {82--102},
  year         = {2008},
  url          = {https://www3.risc.jku.at/publications/download/risc\_3454/UNIF\_proceedings.pdf\#page=90},
  timestamp    = {Tue, 19 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/SiekmannHS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/unif/2008,
  editor       = {Mircea Marin},
  title        = {Proceedings of the 22nd International Workshop on Unification, {UNIF}
                  2008, Castle of Hagenberg, Austria, July 18, 2008},
  year         = {2008},
  url          = {http://www.risc.jku.at/publications/download/risc\_3454/UNIF\_proceedings.pdf},
  timestamp    = {Tue, 19 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}