@Proceedings{fernandez:LIPIcs.RTA.2015,
title = {{LIPIcs, Volume 36, RTA'15, Complete Volume}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015},
URN = {urn:nbn:de:0030-drops-52620},
doi = {10.4230/LIPIcs.RTA.2015},
annote = {Keywords: Programming Techniques, Software Engineering, Programming Languages, Computation by Abstract Devices, Analysis of Algorithms and Problem Complexity, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Artificial Intelligence}
}
@InProceedings{fernandez:LIPIcs.RTA.2015.i,
author = {Fern\'{a}ndez, Maribel},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {i--xiv},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.i},
URN = {urn:nbn:de:0030-drops-51837},
doi = {10.4230/LIPIcs.RTA.2015.i},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{kirchner:LIPIcs.RTA.2015.1,
author = {Kirchner, H\'{e}l\`{e}ne},
title = {{Port Graphs, Rules and Strategies for Dynamic Data Analytics - Extended Abstract}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {1--4},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.1},
URN = {urn:nbn:de:0030-drops-51842},
doi = {10.4230/LIPIcs.RTA.2015.1},
annote = {Keywords: Graphs, Rewrite Rules, Strategic Rewriting}
}
@InProceedings{rosu:LIPIcs.RTA.2015.5,
author = {Rosu, Grigore},
title = {{Matching Logic - Extended Abstract}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {5--21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.5},
URN = {urn:nbn:de:0030-drops-51859},
doi = {10.4230/LIPIcs.RTA.2015.5},
annote = {Keywords: Program logic, First-order logic, Rewriting, Verification}
}
@InProceedings{talcott:LIPIcs.RTA.2015.22,
author = {Talcott, Carolyn},
title = {{Executable Formal Models in Rewriting Logic}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {22--22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.22},
URN = {urn:nbn:de:0030-drops-51861},
doi = {10.4230/LIPIcs.RTA.2015.22},
annote = {Keywords: Executable model, formal analysis, rewriting logic}
}
@InProceedings{avanzini_et_al:LIPIcs.RTA.2015.23,
author = {Avanzini, Martin and Sternagel, Christian and Thiemann, Ren\'{e}},
title = {{Certification of Complexity Proofs using CeTA}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {23--39},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.23},
URN = {urn:nbn:de:0030-drops-51875},
doi = {10.4230/LIPIcs.RTA.2015.23},
annote = {Keywords: complexity analysis, certification, match-bounds, weak dependency pairs, dependency tuples, usable rules, usable replacement maps}
}
@InProceedings{baader_et_al:LIPIcs.RTA.2015.40,
author = {Baader, Franz and Borgwardt, Stefan and Morawska, Barbara},
title = {{Dismatching and Local Disunification in EL}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {40--56},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.40},
URN = {urn:nbn:de:0030-drops-51884},
doi = {10.4230/LIPIcs.RTA.2015.40},
annote = {Keywords: Unification, Description Logics, SAT}
}
@InProceedings{baumgartner_et_al:LIPIcs.RTA.2015.57,
author = {Baumgartner, Alexander and Kutsia, Temur and Levy, Jordi and Villaret, Mateu},
title = {{Nominal Anti-Unification}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {57--73},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.57},
URN = {urn:nbn:de:0030-drops-51895},
doi = {10.4230/LIPIcs.RTA.2015.57},
annote = {Keywords: Nominal Anti-Unification, Term-in-context, Equivariance}
}
@InProceedings{cirstea_et_al:LIPIcs.RTA.2015.74,
author = {Cirstea, Horatiu and Lenglet, Serguei and Moreau, Pierre-Etienne},
title = {{A faithful encoding of programmable strategies into term rewriting systems}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {74--88},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.74},
URN = {urn:nbn:de:0030-drops-51908},
doi = {10.4230/LIPIcs.RTA.2015.74},
annote = {Keywords: Programmable strategies, termination, term rewriting systems}
}
@InProceedings{clerc_et_al:LIPIcs.RTA.2015.89,
author = {Clerc, Florence and Mimram, Samuel},
title = {{Presenting a Category Modulo a Rewriting System}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {89--105},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.89},
URN = {urn:nbn:de:0030-drops-51916},
doi = {10.4230/LIPIcs.RTA.2015.89},
annote = {Keywords: presentation of a category, quotient category, localization, residuation}
}
@InProceedings{czajka:LIPIcs.RTA.2015.106,
author = {Czajka, Lukasz},
title = {{Confluence of nearly orthogonal infinitary term rewriting systems}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {106--126},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.106},
URN = {urn:nbn:de:0030-drops-51929},
doi = {10.4230/LIPIcs.RTA.2015.106},
annote = {Keywords: infinitary rewriting, confluence, coinduction}
}
@InProceedings{das_et_al:LIPIcs.RTA.2015.127,
author = {Das, Anupam and Stra{\ss}burger, Lutz},
title = {{No complete linear term rewriting system for propositional logic}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {127--142},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.127},
URN = {urn:nbn:de:0030-drops-51935},
doi = {10.4230/LIPIcs.RTA.2015.127},
annote = {Keywords: Linear rules, Term rewriting, Propositional logic, Proof theory, Deep inference}
}
@InProceedings{endrullis_et_al:LIPIcs.RTA.2015.143,
author = {Endrullis, J\"{o}rg and Hansen, Helle Hvid and Hendriks, Dimitri and Polonsky, Andrew and Silva, Alexandra},
title = {{A Coinductive Framework for Infinitary Rewriting and Equational Reasoning}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {143--159},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.143},
URN = {urn:nbn:de:0030-drops-51949},
doi = {10.4230/LIPIcs.RTA.2015.143},
annote = {Keywords: infinitary rewriting, coinduction}
}
@InProceedings{endrullis_et_al:LIPIcs.RTA.2015.160,
author = {Endrullis, J\"{o}rg and Zantema, Hans},
title = {{Proving non-termination by finite automata}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {160--176},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.160},
URN = {urn:nbn:de:0030-drops-51952},
doi = {10.4230/LIPIcs.RTA.2015.160},
annote = {Keywords: non-termination, finite automata, regular languages}
}
@InProceedings{genet_et_al:LIPIcs.RTA.2015.177,
author = {Genet, Thomas and Salmon, Yann},
title = {{Reachability Analysis of Innermost Rewriting}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {177--193},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.177},
URN = {urn:nbn:de:0030-drops-51968},
doi = {10.4230/LIPIcs.RTA.2015.177},
annote = {Keywords: term rewriting systems, strategy, innermost strategy, tree automata, functiona l program, static analysis}
}
@InProceedings{hellstrom:LIPIcs.RTA.2015.194,
author = {Hellstr\"{o}m, Lars},
title = {{Network Rewriting II: Bi- and Hopf Algebras}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {194--208},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.194},
URN = {urn:nbn:de:0030-drops-51975},
doi = {10.4230/LIPIcs.RTA.2015.194},
annote = {Keywords: confluence, network, PROP, Hopf algebra}
}
@InProceedings{hirokawa_et_al:LIPIcs.RTA.2015.209,
author = {Hirokawa, Nao and Middeldorp, Aart and Moser, Georg},
title = {{Leftmost Outermost Revisited}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {209--222},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.209},
URN = {urn:nbn:de:0030-drops-51986},
doi = {10.4230/LIPIcs.RTA.2015.209},
annote = {Keywords: term rewriting, strategies, normalization}
}
@InProceedings{kop_et_al:LIPIcs.RTA.2015.223,
author = {Kop, Cynthia and Middeldorp, Aart and Sternagel, Thomas},
title = {{Conditional Complexity}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {223--240},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.223},
URN = {urn:nbn:de:0030-drops-51999},
doi = {10.4230/LIPIcs.RTA.2015.223},
annote = {Keywords: conditional term rewriting, complexity}
}
@InProceedings{kotsireas_et_al:LIPIcs.RTA.2015.241,
author = {Kotsireas, Ilias and Kutsia, Temur and Simos, Dimitris E.},
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)},
pages = {241--256},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.241},
URN = {urn:nbn:de:0030-drops-52006},
doi = {10.4230/LIPIcs.RTA.2015.241},
annote = {Keywords: Orthogonal designs, unification theory, algorithms, Groebner bases}
}
@InProceedings{nagele_et_al:LIPIcs.RTA.2015.257,
author = {Nagele, Julian and Felgenhauer, Bertram and Middeldorp, Aart},
title = {{Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {257--268},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.257},
URN = {urn:nbn:de:0030-drops-52010},
doi = {10.4230/LIPIcs.RTA.2015.257},
annote = {Keywords: term rewriting, confluence, automation, transformation}
}
@InProceedings{nagele_et_al:LIPIcs.RTA.2015.269,
author = {Nagele, Julian and Zankl, Harald},
title = {{Certified Rule Labeling}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {269--284},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.269},
URN = {urn:nbn:de:0030-drops-52024},
doi = {10.4230/LIPIcs.RTA.2015.269},
annote = {Keywords: term rewriting, confluence, decreasing diagrams, certification}
}
@InProceedings{sabel_et_al:LIPIcs.RTA.2015.285,
author = {Sabel, David and Zantema, Hans},
title = {{Transforming Cycle Rewriting into String Rewriting}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {285--300},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.285},
URN = {urn:nbn:de:0030-drops-52032},
doi = {10.4230/LIPIcs.RTA.2015.285},
annote = {Keywords: rewriting systems, string rewriting, termination}
}
@InProceedings{suzuki_et_al:LIPIcs.RTA.2015.301,
author = {Suzuki, Takaki and Kikuchi, Kentaro and Aoto, Takahito and Toyama, Yoshihito},
title = {{Confluence of Orthogonal Nominal Rewriting Systems Revisited}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {301--317},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.301},
URN = {urn:nbn:de:0030-drops-52042},
doi = {10.4230/LIPIcs.RTA.2015.301},
annote = {Keywords: Nominal rewriting, Confluence, Orthogonality, Higher-order rewriting, alpha-equivalence}
}
@InProceedings{waldmann:LIPIcs.RTA.2015.318,
author = {Waldmann, Johannes},
title = {{Matrix Interpretations on Polyhedral Domains}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {318--333},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.318},
URN = {urn:nbn:de:0030-drops-52059},
doi = {10.4230/LIPIcs.RTA.2015.318},
annote = {Keywords: termination of term rewriting, matrix interpretations, constraint programming, linear inequalities}
}
@InProceedings{frohn_et_al:LIPIcs.RTA.2015.334,
author = {Frohn, Florian and Giesl, J\"{u}rgen and Hensel, Jera and Aschermann, Cornelius and Str\"{o}der, Thomas},
title = {{Inferring Lower Bounds for Runtime Complexity}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {334--349},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.334},
URN = {urn:nbn:de:0030-drops-52068},
doi = {10.4230/LIPIcs.RTA.2015.334},
annote = {Keywords: Term Rewriting, Runtime Complexity, Lower Bounds, Induction}
}
@InProceedings{lepper_et_al:LIPIcs.RTA.2015.350,
author = {Lepper, Markus and Tranc\'{o}n y Widemann, Baltasar},
title = {{A Simple and Efficient Step Towards Type-Correct XSLT Transformations}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {350--364},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.350},
URN = {urn:nbn:de:0030-drops-52078},
doi = {10.4230/LIPIcs.RTA.2015.350},
annote = {Keywords: XSLT, type checking, abstract interpretation}
}
@InProceedings{vergu_et_al:LIPIcs.RTA.2015.365,
author = {Vergu, Vlad and Neron, Pierre and Visser, Eelco},
title = {{DynSem: A DSL for Dynamic Semantics Specification}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {365--378},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.365},
URN = {urn:nbn:de:0030-drops-52080},
doi = {10.4230/LIPIcs.RTA.2015.365},
annote = {Keywords: programming languages, dynamic semantics, reduction semantics, semantics engineering, IDE, interpreters, modularity}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing