RTA

Keyphrases

Publications

2015

Florian Frohn, Jürgen Giesl, Jera Hensel, Cornelius Aschermann, Thomas Ströder
Inferring Lower Bounds for Runtime Complexity. RTA (2015)
Thomas Genet, Yann Salmon
Reachability Analysis of Innermost Rewriting. RTA (2015)
Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos
Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification. RTA (2015)
Julian Nagele, Harald Zankl
Certified Rule Labeling. RTA (2015)
Jörg Endrullis, Hans Zantema
Proving non-termination by finite automata. RTA (2015)
Julian Nagele, Bertram Felgenhauer, Aart Middeldorp
Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules. RTA (2015)
Front Matter, Table of Contents, Preface, Conference Organization. RTA (2015)
Vlad A. Vergu, Pierre Neron, Eelco Visser
DynSem: A DSL for Dynamic Semantics Specification. RTA (2015)
Hélène Kirchner
Port Graphs, Rules and Strategies for Dynamic Data Analytics - Extended Abstract (Invited Talk). RTA (2015)
Lars Hellström
Network Rewriting II: Bi- and Hopf Algebras. RTA (2015)
Florence Clerc, Samuel Mimram
Presenting a Category Modulo a Rewriting System. RTA (2015)
David Sabel, Hans Zantema
Transforming Cycle Rewriting into String Rewriting. RTA (2015)
Carolyn L. Talcott
Executable Formal Models in Rewriting Logic (Invited Talk). RTA (2015)
Martin Avanzini, Christian Sternagel, René Thiemann
Certification of Complexity Proofs using CeTA. RTA (2015)
Anupam Das, Lutz Straßburger
No complete linear term rewriting system for propositional logic. RTA (2015)
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
Nominal Anti-Unification. RTA (2015)
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
A faithful encoding of programmable strategies into term rewriting systems. RTA (2015)
Franz Baader, Stefan Borgwardt, Barbara Morawska
Dismatching and Local Disunification in EL. RTA (2015)
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning. RTA (2015)
Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
Confluence of Orthogonal Nominal Rewriting Systems Revisited. RTA (2015)
Cynthia Kop, Aart Middeldorp, Thomas Sternagel
Conditional Complexity. RTA (2015)
Nao Hirokawa, Aart Middeldorp, Georg Moser
Leftmost Outermost Revisited. RTA (2015)
Lukasz Czajka
Confluence of nearly orthogonal infinitary term rewriting systems. RTA (2015)
Markus Lepper, Baltasar Trancón y Widemann
A Simple and Efficient Step Towards Type-Correct XSLT Transformations. RTA (2015)
Grigore Rosu
Matching Logic - Extended Abstract (Invited Talk). RTA (2015)
Johannes Waldmann
Matrix Interpretations on Polyhedral Domains. RTA (2015)

volume 36, 2015

26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland RTA 36 (2015)

2013

volume 21, 2013

24th International Conference on Rewriting Techniques and Applications, RTA 2013, June 24-26, 2013, Eindhoven, The Netherlands RTA 21 (2013)