Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/rta/rta2015.bht:"
download as .bib file
@inproceedings{DBLP:conf/rta/AvanziniST15,
author = {Martin Avanzini and
Christian Sternagel and
Ren{\'{e}} Thiemann},
editor = {Maribel Fern{\'{a}}ndez},
title = {Certification of Complexity Proofs using CeTA},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {23--39},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.23},
doi = {10.4230/LIPICS.RTA.2015.23},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/AvanziniST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BaaderBM15,
author = {Franz Baader and
Stefan Borgwardt and
Barbara Morawska},
editor = {Maribel Fern{\'{a}}ndez},
title = {Dismatching and Local Disunification in {EL}},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {40--56},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.40},
doi = {10.4230/LIPICS.RTA.2015.40},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/BaaderBM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BaumgartnerKLV15,
author = {Alexander Baumgartner and
Temur Kutsia and
Jordi Levy and
Mateu Villaret},
editor = {Maribel Fern{\'{a}}ndez},
title = {Nominal Anti-Unification},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {57--73},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.57},
doi = {10.4230/LIPICS.RTA.2015.57},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/BaumgartnerKLV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/CirsteaLM15,
author = {Horatiu Cirstea and
Sergue{\"{\i}} Lenglet and
Pierre{-}Etienne Moreau},
editor = {Maribel Fern{\'{a}}ndez},
title = {A faithful encoding of programmable strategies into term rewriting
systems},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {74--88},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.74},
doi = {10.4230/LIPICS.RTA.2015.74},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/CirsteaLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ClercM15,
author = {Florence Clerc and
Samuel Mimram},
editor = {Maribel Fern{\'{a}}ndez},
title = {Presenting a Category Modulo a Rewriting System},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {89--105},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.89},
doi = {10.4230/LIPICS.RTA.2015.89},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/ClercM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Czajka15,
author = {Lukasz Czajka},
editor = {Maribel Fern{\'{a}}ndez},
title = {Confluence of nearly orthogonal infinitary term rewriting systems},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {106--126},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.106},
doi = {10.4230/LIPICS.RTA.2015.106},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Czajka15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/DasS15,
author = {Anupam Das and
Lutz Stra{\ss}burger},
editor = {Maribel Fern{\'{a}}ndez},
title = {No complete linear term rewriting system for propositional logic},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {127--142},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.127},
doi = {10.4230/LIPICS.RTA.2015.127},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/DasS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/EndrullisHHP015,
author = {J{\"{o}}rg Endrullis and
Helle Hvid Hansen and
Dimitri Hendriks and
Andrew Polonsky and
Alexandra Silva},
editor = {Maribel Fern{\'{a}}ndez},
title = {A Coinductive Framework for Infinitary Rewriting and Equational Reasoning},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {143--159},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.143},
doi = {10.4230/LIPICS.RTA.2015.143},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/EndrullisHHP015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/EndrullisZ15,
author = {J{\"{o}}rg Endrullis and
Hans Zantema},
editor = {Maribel Fern{\'{a}}ndez},
title = {Proving non-termination by finite automata},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {160--176},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.160},
doi = {10.4230/LIPICS.RTA.2015.160},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/EndrullisZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Fernandez15,
editor = {Maribel Fern{\'{a}}ndez},
title = {Front Matter, Table of Contents, Preface, Conference Organization},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {i--xiv},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.i},
doi = {10.4230/LIPICS.RTA.2015.I},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Fernandez15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/FrohnGHAS15,
author = {Florian Frohn and
J{\"{u}}rgen Giesl and
Jera Hensel and
Cornelius Aschermann and
Thomas Str{\"{o}}der},
editor = {Maribel Fern{\'{a}}ndez},
title = {Inferring Lower Bounds for Runtime Complexity},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {334--349},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.334},
doi = {10.4230/LIPICS.RTA.2015.334},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/FrohnGHAS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/GenetS15,
author = {Thomas Genet and
Yann Salmon},
editor = {Maribel Fern{\'{a}}ndez},
title = {Reachability Analysis of Innermost Rewriting},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {177--193},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.177},
doi = {10.4230/LIPICS.RTA.2015.177},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/GenetS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Hellstrom15,
author = {Lars Hellstr{\"{o}}m},
editor = {Maribel Fern{\'{a}}ndez},
title = {Network Rewriting {II:} Bi- and Hopf Algebras},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {194--208},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.194},
doi = {10.4230/LIPICS.RTA.2015.194},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Hellstrom15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/HirokawaMM15,
author = {Nao Hirokawa and
Aart Middeldorp and
Georg Moser},
editor = {Maribel Fern{\'{a}}ndez},
title = {Leftmost Outermost Revisited},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {209--222},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.209},
doi = {10.4230/LIPICS.RTA.2015.209},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/HirokawaMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Kirchner15,
author = {H{\'{e}}l{\`{e}}ne Kirchner},
editor = {Maribel Fern{\'{a}}ndez},
title = {Port Graphs, Rules and Strategies for Dynamic Data Analytics - Extended
Abstract (Invited Talk)},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {1--4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.1},
doi = {10.4230/LIPICS.RTA.2015.1},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Kirchner15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KopMS15,
author = {Cynthia Kop and
Aart Middeldorp and
Thomas Sternagel},
editor = {Maribel Fern{\'{a}}ndez},
title = {Conditional Complexity},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {223--240},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.223},
doi = {10.4230/LIPICS.RTA.2015.223},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/KopMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KotsireasKS15,
author = {Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
editor = {Maribel Fern{\'{a}}ndez},
title = {Constructing Orthogonal Designs in Powers of Two: Gr{\"{o}}bner
Bases Meet Equational Unification},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {241--256},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.241},
doi = {10.4230/LIPICS.RTA.2015.241},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/KotsireasKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/LepperW15,
author = {Markus Lepper and
Baltasar Tranc{\'{o}}n y Widemann},
editor = {Maribel Fern{\'{a}}ndez},
title = {A Simple and Efficient Step Towards Type-Correct {XSLT} Transformations},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {350--364},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.350},
doi = {10.4230/LIPICS.RTA.2015.350},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/LepperW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/NageleFM15,
author = {Julian Nagele and
Bertram Felgenhauer and
Aart Middeldorp},
editor = {Maribel Fern{\'{a}}ndez},
title = {Improving Automatic Confluence Analysis of Rewrite Systems by Redundant
Rules},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {257--268},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.257},
doi = {10.4230/LIPICS.RTA.2015.257},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/NageleFM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/NageleZ15,
author = {Julian Nagele and
Harald Zankl},
editor = {Maribel Fern{\'{a}}ndez},
title = {Certified Rule Labeling},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {269--284},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.269},
doi = {10.4230/LIPICS.RTA.2015.269},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/NageleZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Rosu15,
author = {Grigore Rosu},
editor = {Maribel Fern{\'{a}}ndez},
title = {Matching Logic - Extended Abstract (Invited Talk)},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {5--21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.5},
doi = {10.4230/LIPICS.RTA.2015.5},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Rosu15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SabelZ15,
author = {David Sabel and
Hans Zantema},
editor = {Maribel Fern{\'{a}}ndez},
title = {Transforming Cycle Rewriting into String Rewriting},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {285--300},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.285},
doi = {10.4230/LIPICS.RTA.2015.285},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/SabelZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SuzukiK0T15,
author = {Takaki Suzuki and
Kentaro Kikuchi and
Takahito Aoto and
Yoshihito Toyama},
editor = {Maribel Fern{\'{a}}ndez},
title = {Confluence of Orthogonal Nominal Rewriting Systems Revisited},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {301--317},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.301},
doi = {10.4230/LIPICS.RTA.2015.301},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/SuzukiK0T15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Talcott15,
author = {Carolyn L. Talcott},
editor = {Maribel Fern{\'{a}}ndez},
title = {Executable Formal Models in Rewriting Logic (Invited Talk)},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {22--22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.22},
doi = {10.4230/LIPICS.RTA.2015.22},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Talcott15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/VerguNV15,
author = {Vlad A. Vergu and
Pierre Neron and
Eelco Visser},
editor = {Maribel Fern{\'{a}}ndez},
title = {DynSem: {A} {DSL} for Dynamic Semantics Specification},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {365--378},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.365},
doi = {10.4230/LIPICS.RTA.2015.365},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/VerguNV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Waldmann15,
author = {Johannes Waldmann},
editor = {Maribel Fern{\'{a}}ndez},
title = {Matrix Interpretations on Polyhedral Domains},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {318--333},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.318},
doi = {10.4230/LIPICS.RTA.2015.318},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Waldmann15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2015,
editor = {Maribel Fern{\'{a}}ndez},
title = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {http://www.dagstuhl.de/dagpub/978-3-939897-85-9},
isbn = {978-3-939897-85-9},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-23 07:58 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
