RTA 2015 June 29 to July 1, 2015 - Warsaw, Poland

26th International Conference on Rewriting Techniques and Applications (RTA 2015)



Maribel Fernández (Ed.)
ISBN 978-3-939897-85-9, LIPICS Vol. 36 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 12 MB)
Search Publication Server


Authors
  • Aoto, Takahito
  • Aschermann, Cornelius
  • Avanzini, Martin
  • Baader, Franz
  • Baumgartner, Alexander
  • Borgwardt, Stefan
  • Cirstea, Horatiu
  • Clerc, Florence
  • Czajka, Lukasz
  • Das, Anupam
  • Endrullis, Jörg
  • Felgenhauer, Bertram
  • Fernández, Maribel
  • Frohn, Florian
  • Genet, Thomas
  • Giesl, Jürgen
  • Hansen, Helle Hvid
  • Hellström, Lars
  • Hendriks, Dimitri
  • Hensel, Jera
  • Hirokawa, Nao
  • Kikuchi, Kentaro
  • Kirchner, Hélčne
  • Kop, Cynthia
  • Kotsireas, Ilias
  • Kutsia, Temur
  • Lenglet, Serguei
  • Lepper, Markus
  • Levy, Jordi
  • Middeldorp, Aart
  • Mimram, Samuel
  • Morawska, Barbara
  • Moreau, Pierre-Etienne
  • Moser, Georg
  • Nagele, Julian
  • Neron, Pierre
  • Polonsky, Andrew
  • Rosu, Grigore
  • Sabel, David
  • Salmon, Yann
  • Silva, Alexandra
  • Simos, Dimitris E.
  • Sternagel, Christian
  • Sternagel, Thomas
  • Ströder, Thomas
  • Straßburger, Lutz
  • Suzuki, Takaki
  • Talcott, Carolyn
  • Thiemann, René
  • Toyama, Yoshihito
  • Trancón y Widemann, Baltasar
  • Vergu, Vlad
  • Villaret, Mateu
  • Visser, Eelco
  • Waldmann, Johannes
  • Zankl, Harald
  • Zantema, Hans

  •   
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Fernández, Maribel

    Abstract | Document (318 KB) | BibTeX

    Port Graphs, Rules and Strategies for Dynamic Data Analytics - Extended Abstract (Invited Talk)
    Authors: Kirchner, Hélčne

    Abstract | Document (250 KB) | BibTeX

    Matching Logic - Extended Abstract (Invited Talk)
    Authors: Rosu, Grigore

    Abstract | Document (582 KB) | BibTeX

    Executable Formal Models in Rewriting Logic (Invited Talk)
    Authors: Talcott, Carolyn

    Abstract | Document (201 KB) | BibTeX

    Certification of Complexity Proofs using CeTA
    Authors: Avanzini, Martin ; Sternagel, Christian ; Thiemann, René

    Abstract | Document (614 KB) | BibTeX

    Dismatching and Local Disunification in EL
    Authors: Baader, Franz ; Borgwardt, Stefan ; Morawska, Barbara

    Abstract | Document (592 KB) | BibTeX

    Nominal Anti-Unification
    Authors: Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret, Mateu

    Abstract | Document (538 KB) | BibTeX

    A faithful encoding of programmable strategies into term rewriting systems
    Authors: Cirstea, Horatiu ; Lenglet, Serguei ; Moreau, Pierre-Etienne

    Abstract | Document (578 KB) | BibTeX

    Presenting a Category Modulo a Rewriting System
    Authors: Clerc, Florence ; Mimram, Samuel

    Abstract | Document (514 KB) | BibTeX

    Confluence of nearly orthogonal infinitary term rewriting systems
    Authors: Czajka, Lukasz

    Abstract | Document (575 KB) | BibTeX

    No complete linear term rewriting system for propositional logic
    Authors: Das, Anupam ; Straßburger, Lutz

    Abstract | Document (506 KB) | BibTeX

    A Coinductive Framework for Infinitary Rewriting and Equational Reasoning
    Authors: Endrullis, Jörg ; Hansen, Helle Hvid ; Hendriks, Dimitri ; Polonsky, Andrew ; Silva, Alexandra

    Abstract | Document (535 KB) | BibTeX

    Proving non-termination by finite automata
    Authors: Endrullis, Jörg ; Zantema, Hans

    Abstract | Document (615 KB) | BibTeX

    Reachability Analysis of Innermost Rewriting
    Authors: Genet, Thomas ; Salmon, Yann

    Abstract | Document (608 KB) | BibTeX

    Network Rewriting II: Bi- and Hopf Algebras
    Authors: Hellström, Lars

    Abstract | Document (500 KB) | BibTeX

    Leftmost Outermost Revisited
    Authors: Hirokawa, Nao ; Middeldorp, Aart ; Moser, Georg

    Abstract | Document (496 KB) | BibTeX

    Conditional Complexity
    Authors: Kop, Cynthia ; Middeldorp, Aart ; Sternagel, Thomas

    Abstract | Document (581 KB) | BibTeX

    Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification
    Authors: Kotsireas, Ilias ; Kutsia, Temur ; Simos, Dimitris E.

    Abstract | Document (486 KB) | BibTeX

    Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules
    Authors: Nagele, Julian ; Felgenhauer, Bertram ; Middeldorp, Aart

    Abstract | Document (528 KB) | BibTeX

    Certified Rule Labeling
    Authors: Nagele, Julian ; Zankl, Harald

    Abstract | Document (648 KB) | BibTeX

    Transforming Cycle Rewriting into String Rewriting
    Authors: Sabel, David ; Zantema, Hans

    Abstract | Document (590 KB) | BibTeX

    Confluence of Orthogonal Nominal Rewriting Systems Revisited
    Authors: Suzuki, Takaki ; Kikuchi, Kentaro ; Aoto, Takahito ; Toyama, Yoshihito

    Abstract | Document (615 KB) | BibTeX

    Matrix Interpretations on Polyhedral Domains
    Authors: Waldmann, Johannes

    Abstract | Document (502 KB) | BibTeX

    Inferring Lower Bounds for Runtime Complexity
    Authors: Frohn, Florian ; Giesl, Jürgen ; Hensel, Jera ; Aschermann, Cornelius ; Ströder, Thomas

    Abstract | Document (708 KB) | BibTeX

    A Simple and Efficient Step Towards Type-Correct XSLT Transformations
    Authors: Lepper, Markus ; Trancón y Widemann, Baltasar

    Abstract | Document (598 KB) | BibTeX

    DynSem: A DSL for Dynamic Semantics Specification
    Authors: Vergu, Vlad ; Neron, Pierre ; Visser, Eelco

    Abstract | Document (431 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI