Search dblp for Publications

export results for "toc:db/conf/unif/unif2020.bht:"

 download as .bib file

@inproceedings{DBLP:conf/unif/AyalaRinconFNV20,
  author       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Maribel Fern{\'{a}}ndez and
                  Daniele Nantes{-}Sobrinho and
                  Deivid Vale},
  editor       = {Temur Kutsia and
                  Andrew M. Marshall},
  title        = {An Investigation into General Nominal Equational Problems (Work in
                  progress)},
  booktitle    = {Proceedings of the 34th International Workshop on Unification, {UNIF}
                  2020, Linz, Austria, June 29, 2020},
  pages        = {3:1--3:8},
  year         = {2020},
  url          = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf\#page=13},
  timestamp    = {Wed, 20 Sep 2023 10:23:47 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/AyalaRinconFNV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/unif/BalbianiGRT20,
  author       = {Philippe Balbiani and
                  {\c{C}}igdem Gencer and
                  Maryam Rostamigiv and
                  Tinko Tinchev},
  editor       = {Temur Kutsia and
                  Andrew M. Marshall},
  title        = {About the unification type of K+{\unicode{9744}}{\unicode{9744}}{\(\perp\)}},
  booktitle    = {Proceedings of the 34th International Workshop on Unification, {UNIF}
                  2020, Linz, Austria, June 29, 2020},
  pages        = {4:1--4:6},
  year         = {2020},
  url          = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf\#page=21},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/BalbianiGRT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/unif/BaumgartnerN20,
  author       = {Alexander Baumgartner and
                  Daniele Nantes{-}Sobrinho},
  editor       = {Temur Kutsia and
                  Andrew M. Marshall},
  title        = {A, C, and {AC} Nominal Anti-Unification},
  booktitle    = {Proceedings of the 34th International Workshop on Unification, {UNIF}
                  2020, Linz, Austria, June 29, 2020},
  pages        = {5:1--5:6},
  year         = {2020},
  url          = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf\#page=27},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/BaumgartnerN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/unif/CernaLL20,
  author       = {David M. Cerna and
                  Alexander Leitsch and
                  Anela Lolic},
  editor       = {Temur Kutsia and
                  Andrew M. Marshall},
  title        = {On the Unification of Term Schemata},
  booktitle    = {Proceedings of the 34th International Workshop on Unification, {UNIF}
                  2020, Linz, Austria, June 29, 2020},
  pages        = {6:1--6:6},
  year         = {2020},
  url          = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf\#page=33},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/CernaLL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/unif/Delaune20,
  author       = {St{\'{e}}phanie Delaune},
  editor       = {Temur Kutsia and
                  Andrew M. Marshall},
  title        = {Rewriting in Protocol Verification},
  booktitle    = {Proceedings of the 34th International Workshop on Unification, {UNIF}
                  2020, Linz, Austria, June 29, 2020},
  pages        = {1:1--1:1},
  year         = {2020},
  url          = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf\#page=6},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/Delaune20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/unif/ErbaturMR20,
  author       = {Serdar Erbatur and
                  Andrew M. Marshall and
                  Christophe Ringeissen},
  editor       = {Temur Kutsia and
                  Andrew M. Marshall},
  title        = {Terminating Non-Disjoint Combined Unification (Extended Abstract)},
  booktitle    = {Proceedings of the 34th International Workshop on Unification, {UNIF}
                  2020, Linz, Austria, June 29, 2020},
  pages        = {7:1--7:6},
  year         = {2020},
  url          = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf\#page=39},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/ErbaturMR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/unif/JouannaudO20,
  author       = {Jean{-}Pierre Jouannaud and
                  Fernando Orejas},
  editor       = {Temur Kutsia and
                  Andrew M. Marshall},
  title        = {Unification of Drags},
  booktitle    = {Proceedings of the 34th International Workshop on Unification, {UNIF}
                  2020, Linz, Austria, June 29, 2020},
  pages        = {8:1--8:7},
  year         = {2020},
  url          = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf\#page=45},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/JouannaudO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/unif/KutsiaP20,
  author       = {Temur Kutsia and
                  Cleo Pau},
  editor       = {Temur Kutsia and
                  Andrew M. Marshall},
  title        = {Proximity-Based Unification with Arity Mismatch},
  booktitle    = {Proceedings of the 34th International Workshop on Unification, {UNIF}
                  2020, Linz, Austria, June 29, 2020},
  pages        = {9:1--9:6},
  year         = {2020},
  url          = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf\#page=52},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/KutsiaP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/unif/MarshallMNRR20,
  author       = {Andrew M. Marshall and
                  Catherine Meadows and
                  Paliath Narendran and
                  Veena Ravishankar and
                  Brandon Rozek},
  editor       = {Temur Kutsia and
                  Andrew M. Marshall},
  title        = {Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract)},
  booktitle    = {Proceedings of the 34th International Workshop on Unification, {UNIF}
                  2020, Linz, Austria, June 29, 2020},
  pages        = {10:1--10:6},
  year         = {2020},
  url          = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf\#page=58},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/MarshallMNRR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/unif/NarendranAZ20,
  author       = {Paliath Narendran and
                  Saumya Arora and
                  Yu Zhang},
  editor       = {Temur Kutsia and
                  Andrew M. Marshall},
  title        = {An Improved Algorithm for Testing Whether a Special String Rewriting
                  System is Confluent},
  booktitle    = {Proceedings of the 34th International Workshop on Unification, {UNIF}
                  2020, Linz, Austria, June 29, 2020},
  pages        = {11:1--11:6},
  year         = {2020},
  url          = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf\#page=64},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/NarendranAZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/unif/NarendranSZ20,
  author       = {Paliath Narendran and
                  Ashley Suchy and
                  Yu Zhang},
  editor       = {Temur Kutsia and
                  Andrew M. Marshall},
  title        = {Some Results on Prefix Grammars},
  booktitle    = {Proceedings of the 34th International Workshop on Unification, {UNIF}
                  2020, Linz, Austria, June 29, 2020},
  pages        = {12:1--12:6},
  year         = {2020},
  url          = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf\#page=70},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/NarendranSZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/unif/ProkoschB20,
  author       = {Thomas Prokosch and
                  Fran{\c{c}}ois Bry},
  editor       = {Temur Kutsia and
                  Andrew M. Marshall},
  title        = {Unification on the Run},
  booktitle    = {Proceedings of the 34th International Workshop on Unification, {UNIF}
                  2020, Linz, Austria, June 29, 2020},
  pages        = {13:1--13:5},
  year         = {2020},
  url          = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf\#page=76},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/ProkoschB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/unif/SchmidtSchauss20,
  author       = {Manfred Schmidt{-}Schau{\ss}},
  editor       = {Temur Kutsia and
                  Andrew M. Marshall},
  title        = {Nominal Algorithms: Applications and Extensions},
  booktitle    = {Proceedings of the 34th International Workshop on Unification, {UNIF}
                  2020, Linz, Austria, June 29, 2020},
  pages        = {2:1--2:6},
  year         = {2020},
  url          = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf\#page=7},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/SchmidtSchauss20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/unif/2020,
  editor       = {Temur Kutsia and
                  Andrew M. Marshall},
  title        = {Proceedings of the 34th International Workshop on Unification, {UNIF}
                  2020, Linz, Austria, June 29, 2020},
  year         = {2020},
  url          = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/2020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.