RTA 2013 June 24-26, 2013, Eindhoven, The Netherlands

24th International Conference on Rewriting Techniques and Applications (RTA 2013)



Femke van Raamsdonk (Ed.)
ISBN 978-3-939897-53-8, LIPICS Vol. 21 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 14 MB)
Search Publication Server


Authors
  • Accattoli, Beniamino
  • Avanzini, Martin
  • Bae, Kyungmin
  • Bau, Alexander
  • Baumgartner, Alexander
  • Boichut, Yohan
  • Calvčs, Christophe
  • Chabin, Jacques
  • Das, Anupam
  • Escobar, Santiago
  • Felgenhauer, Bertram
  • Fujita, Ken-etsu
  • Giorgetti, Alain
  • Grabmayer, Clemens
  • Guiraud, Yves
  • Kari, Jarkko
  • Kouchnarenko, Olga
  • Kutsia, Temur
  • Levy, Jordi
  • Lohrey, Markus
  • Machkasova, Elena
  • Malbos, Philippe
  • Meseguer, José
  • Middeldorp, Aart
  • Mimram, Samuel
  • Moser, Georg
  • Nöth, Eric
  • Okada, Mitsuhiro
  • Peyton Jones, Simon
  • Réty, Pierre
  • Rau, Conrad
  • Ringeissen, Christophe
  • Rochel, Jan
  • Sabel, David
  • Schmidt-Schauß, Manfred
  • Schubert, Aleksy
  • Smolka, Gert
  • Sternagel, Christian
  • Tebbi, Tobias
  • Thiemann, René
  • Tushkanova, Elena
  • van Oostrom, Vincent
  • van Raamsdonk, Femke
  • Villaret, Mateu
  • Vytiniotis, Dimitrios
  • Waldmann, Johannes
  • Winkler, Sarah
  • Zankl, Harald

  •   
    Frontmatter, Table of Contents, Preface, Conference Organization
    Authors: van Raamsdonk, Femke

    Abstract | Document (340 KB) | BibTeX

    Pattern Generation by Cellular Automata (Invited Talk)
    Authors: Kari, Jarkko

    Abstract | Document (449 KB) | BibTeX

    Husserl and Hilbert on Completeness and Husserl's Term Rewrite-based Theory of Multiplicity (Invited Talk)
    Authors: Okada, Mitsuhiro

    Abstract | Document (550 KB) | BibTeX

    Evidence Normalization in System FC (Invited Talk)
    Authors: Vytiniotis, Dimitrios ; Peyton Jones, Simon

    Abstract | Document (592 KB) | BibTeX

    Linear Logic and Strong Normalization
    Authors: Accattoli, Beniamino

    Abstract | Document (620 KB) | BibTeX

    A Combination Framework for Complexity
    Authors: Avanzini, Martin ; Moser, Georg

    Abstract | Document (698 KB) | BibTeX

    Tyrolean Complexity Tool: Features and Usage
    Authors: Avanzini, Martin ; Moser, Georg

    Abstract | Document (2,567 KB) | BibTeX

    Abstract Logical Model Checking of Infinite-State Systems Using Narrowing
    Authors: Bae, Kyungmin ; Escobar, Santiago ; Meseguer, José

    Abstract | Document (693 KB) | BibTeX

    Compression of Rewriting Systems for Termination Analysis
    Authors: Bau, Alexander ; Lohrey, Markus ; Nöth, Eric ; Waldmann, Johannes

    Abstract | Document (526 KB) | BibTeX

    A Variant of Higher-Order Anti-Unification
    Authors: Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret, Mateu

    Abstract | Document (489 KB) | BibTeX

    Over-approximating Descendants by Synchronized Tree Languages
    Authors: Boichut, Yohan ; Chabin, Jacques ; Réty, Pierre

    Abstract | Document (529 KB) | BibTeX

    Unifying Nominal Unification
    Authors: Calvčs, Christophe

    Abstract | Document (509 KB) | BibTeX

    Rewriting with Linear Inferences in Propositional Logic
    Authors: Das, Anupam

    Abstract | Document (503 KB) | BibTeX

    Proof Orders for Decreasing Diagrams
    Authors: Felgenhauer, Bertram ; van Oostrom, Vincent

    Abstract | Document (666 KB) | BibTeX

    Decidable structures between Church-style and Curry-style
    Authors: Fujita, Ken-etsu ; Schubert, Aleksy

    Abstract | Document (543 KB) | BibTeX

    Expressibility in the Lambda Calculus with Mu
    Authors: Grabmayer, Clemens ; Rochel, Jan

    Abstract | Document (1,093 KB) | BibTeX

    A Homotopical Completion Procedure with Applications to Coherence of Monoids
    Authors: Guiraud, Yves ; Malbos, Philippe ; Mimram, Samuel

    Abstract | Document (541 KB) | BibTeX

    Extending Abramsky's Lazy Lambda Calculus: (Non)-Conservativity of Embeddings
    Authors: Schmidt-Schauß, Manfred ; Machkasova, Elena ; Sabel, David

    Abstract | Document (616 KB) | BibTeX

    Algorithms for Extended Alpha-Equivalence and Complexity
    Authors: Schmidt-Schauß, Manfred ; Rau, Conrad ; Sabel, David

    Abstract | Document (537 KB) | BibTeX

    Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification
    Authors: Smolka, Gert ; Tebbi, Tobias

    Abstract | Document (463 KB) | BibTeX

    Formalizing Knuth-Bendix Orders and Knuth-Bendix Completion
    Authors: Sternagel, Christian ; Thiemann, René

    Abstract | Document (561 KB) | BibTeX

    Automatic Decidability: A Schematic Calculus for Theories with Counting Operators
    Authors: Tushkanova, Elena ; Ringeissen, Christophe ; Giorgetti, Alain ; Kouchnarenko, Olga

    Abstract | Document (658 KB) | BibTeX

    Normalized Completion Revisited
    Authors: Winkler, Sarah ; Middeldorp, Aart

    Abstract | Document (612 KB) | BibTeX

    Beyond Peano Arithmetic – Automatically Proving Termination of the Goodstein Sequence
    Authors: Winkler, Sarah ; Zankl, Harald ; Middeldorp, Aart

    Abstract | Document (544 KB) | BibTeX

    Confluence by Decreasing Diagrams – Formalized
    Authors: Zankl, Harald

    Abstract | Document (550 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI