default search action
Search dblp for Publications
export results for "toc:db/conf/unif/unif2020.bht:"
@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.