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}
}

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.