RTA 2011 May 30 - June 1, 2011, Novi Sad, Serbia

22nd International Conference on Rewriting Techniques and Applications (RTA'11)



Manfred Schmidt-Schauß (Ed.)
ISBN 978-3-939897-30-9 , LIPICS Vol. 10 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 15 MB)
Search Publication Server

Authors
  • Aoto, Takahito
  • Avanzini, Martin
  • Bahr, Patrick
  • Basin, David A.
  • Brockschmidt, Marc
  • Bruttomesso, Roberto
  • Caleiro, Carlos
  • Chiba, Yuki
  • Conchinha, Bruno
  • Contejean, Évelyne
  • Courtieu, Pierre
  • de Vries, Fer-Jan
  • Durand, Irène
  • Duran, Francisco
  • Eguchi, Naohi
  • Eker, Steven
  • El Haj Omar, Roba
  • Endrullis, Joerg
  • Escobar, Santiago
  • Falke, Stephan
  • Felgenhauer, Bertram
  • Forest, Julien
  • Gascón, Adrià
  • Ghilardi, Silvio
  • Giesl, Jürgen
  • Grathwohl, Niels Bjørn Bugge
  • Hirokawa, Nao
  • Kapur, Deepak
  • Ketema, Jeroen
  • Kimmell, Garrin
  • Klein, Dominik
  • Kochems, Jonathan
  • Kop, Cynthia
  • Kutsia, Temur
  • Levy, Jordi
  • Maneth, Sebastian
  • Meseguer, Jose
  • Middeldorp, Aart
  • Moser, Georg
  • Neurauter, Friedrich
  • Nishida, Naoki
  • Ong, C.H. Luke
  • Otto, Carsten
  • Pallesen, Jens Duelund
  • Pons, Olivier
  • Ramos, Lander
  • Ranise, Silvio
  • Rose, Kristoffer H.
  • Roux, Cody
  • Sakabe, Toshiki
  • Sakai, Masahiko
  • Schmidt-Schauss, Manfred
  • Schnabl, Andreas
  • Severi, Paula
  • Simonsen, Jakob Grue
  • Sinz, Carsten
  • Sternagel, Christian
  • Stump, Aaron
  • Sylvestre, Marc
  • Talcott, Carolyn
  • Thiemann, René
  • Tison, Sophie
  • Tiwari, Ashish
  • Toyama, Yoshihito
  • Urbain, Xavier
  • van Raamsdonk, Femke
  • Vidal, German
  • Villaret, Mateu
  • Weirich, Stephanie
  • Yamada, Toshiyuki
  • Zankl, Harald
  • Zantema, Hans
    		•

    		  
    Frontmatter, Table of Contents, Preface, Conference Organization
    Authors: Schmidt-Schauss, Manfred

    Abstract | Document (330 KB) | BibTeX

    Tree Automata, (Dis-)Equality Constraints and Term Rewriting: What's New?
    Authors: Tison, Sophie

    Abstract | Document (228 KB) | BibTeX

    Rewriting in Practice
    Authors: Tiwari, Ashish

    Abstract | Document (347 KB) | BibTeX

    Combining Proofs and Programs
    Authors: Weirich, Stephanie

    Abstract | Document (265 KB) | BibTeX

    FAST: An Efficient Decision Procedure for Deduction and Static Equivalence
    Authors: Conchinha, Bruno ; Basin, David A. ; Caleiro, Carlos

    Abstract | Document (539 KB) | BibTeX

    Automated Certified Proofs with CiME3
    Authors: Contejean, Évelyne ; Courtieu, Pierre ; Forest, Julien ; Pons, Olivier ; Urbain, Xavier

    Abstract | Document (543 KB) | BibTeX

    Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6
    Authors: Duran, Francisco ; Eker, Steven ; Escobar, Santiago ; Meseguer, Jose ; Talcott, Carolyn

    Abstract | Document (249 KB) | BibTeX

    Termination Analysis of C Programs Using Compiler Intermediate Languages
    Authors: Falke, Stephan ; Kapur, Deepak ; Sinz, Carsten

    Abstract | Document (617 KB) | BibTeX

    First-Order Unification on Compressed Terms
    Authors: Gascón, Adrià ; Maneth, Sebastian ; Ramos, Lander

    Abstract | Document (491 KB) | BibTeX

    Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus
    Authors: Grathwohl, Niels Bjørn Bugge ; Ketema, Jeroen ; Pallesen, Jens Duelund ; Simonsen, Jakob Grue

    Abstract | Document (1,720 KB) | BibTeX

    Maximal Completion
    Authors: Klein, Dominik ; Hirokawa, Nao

    Abstract | Document (505 KB) | BibTeX

    CRSX - Combinatory Reduction Systems with Extensions
    Authors: Rose, Kristoffer H.

    Abstract | Document (682 KB) | BibTeX

    A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems
    Authors: Aoto, Takahito ; Toyama, Yoshihito

    Abstract | Document (616 KB) | BibTeX

    Natural Inductive Theorems for Higher-Order Rewriting
    Authors: Aoto, Takahito ; Yamada, Toshiyuki ; Chiba, Yuki

    Abstract | Document (518 KB) | BibTeX

    A Path Order for Rewrite Systems that Compute Exponential Time Functions
    Authors: Avanzini, Martin ; Eguchi, Naohi ; Moser, Georg

    Abstract | Document (614 KB) | BibTeX

    Modes of Convergence for Term Graph Rewriting
    Authors: Bahr, Patrick

    Abstract | Document (497 KB) | BibTeX

    Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting
    Authors: Brockschmidt, Marc ; Otto, Carsten ; Giesl, Jürgen

    Abstract | Document (730 KB) | BibTeX

    Rewriting-based Quantifier-free Interpolation for a Theory of Arrays
    Authors: Bruttomesso, Roberto ; Ghilardi, Silvio ; Ranise, Silvio

    Abstract | Document (568 KB) | BibTeX

    Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars
    Authors: Kochems, Jonathan ; Ong, C.H. Luke

    Abstract | Document (584 KB) | BibTeX

    Higher Order Dependency Pairs for Algebraic Functional Systems
    Authors: Kop, Cynthia ; van Raamsdonk, Femke

    Abstract | Document (664 KB) | BibTeX

    Anti-Unification for Unranked Terms and Hedges
    Authors: Kutsia, Temur ; Levy, Jordi ; Villaret, Mateu

    Abstract | Document (524 KB) | BibTeX

    Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity
    Authors: Moser, Georg ; Schnabl, Andreas

    Abstract | Document (565 KB) | BibTeX

    Revisiting Matrix Interpretations for Proving Termination of Term Rewriting
    Authors: Neurauter, Friedrich ; Middeldorp, Aart

    Abstract | Document (573 KB) | BibTeX

    Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity
    Authors: Nishida, Naoki ; Sakai, Masahiko ; Sakabe, Toshiki

    Abstract | Document (492 KB) | BibTeX

    Program Inversion for Tail Recursive Functions
    Authors: Nishida, Naoki ; Vidal, German

    Abstract | Document (596 KB) | BibTeX

    Refinement Types as Higher-Order Dependency Pairs
    Authors: Roux, Cody

    Abstract | Document (415 KB) | BibTeX

    Weakening the Axiom of Overlap in Infinitary Lambda Calculus
    Authors: Severi, Paula ; de Vries, Fer-Jan

    Abstract | Document (565 KB) | BibTeX

    Modular and Certified Semantic Labeling and Unlabeling
    Authors: Sternagel, Christian ; Thiemann, René

    Abstract | Document (588 KB) | BibTeX

    Type Preservation as a Confluence Problem
    Authors: Stump, Aaron ; Kimmell, Garrin ; El Haj Omar, Roba

    Abstract | Document (514 KB) | BibTeX

    Left-linear Bounded TRSs are Inverse Recognizability Preserving
    Authors: Durand, Irène ; Sylvestre, Marc

    Abstract | Document (549 KB) | BibTeX

    Labelings for Decreasing Diagrams
    Authors: Zankl, Harald ; Felgenhauer, Bertram ; Middeldorp, Aart

    Abstract | Document (608 KB) | BibTeX

    Proving Equality of Streams Automatically
    Authors: Zantema, Hans ; Endrullis, Joerg

    Abstract | Document (493 KB) | BibTeX

    		  



    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI