RTA 2012 May 28 - June 2, 2012, Nagoya, Japan

23rd International Conference on Rewriting Techniques and Applications (RTA'12)



Ashish Tiwari (Ed.)
ISBN 978-3-939897-38-5, LIPICS Vol. 15 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 4 MB)
Search Publication Server

Authors
  • Accattoli, Beniamino
  • Al-Hassani, Osama
  • Allais, Guillaume
  • Anai, Hirokazu
  • Andersen, Soren Bjerg
  • Bahr, Patrick
  • Balabonski, Thibaut
  • Balestrieri, Florent
  • Ban Kirigin, Tajana
  • Bertrand, Nathalie
  • Bonelli, Eduardo
  • Cousineau, Denis
  • Creus, Carles
  • Dal Lago, Ugo
  • Delzanno, Giorgio
  • de Vries, Fer-Jan
  • Felgenhauer, Bertram
  • Fuhs, Carsten
  • Gascon, Adria
  • Gmeiner, Karl
  • Godoy, Guillem
  • Gramlich, Bernhard
  • Hermant, Olivier
  • Kanovich, Max
  • Kesner, Delia
  • Ketema, Jeroen
  • Kirchner, Claude
  • König, Barbara
  • Kop, Cynthia
  • Lisitsa, Alexei
  • Lombardi, Carlos
  • Mahesar, Quratul-ain
  • Maneth, Sebastian
  • Nagele, Julian
  • Nigam, Vivek
  • Perovic, Ranko
  • Rios, Alejandro
  • Sacerdoti Coen, Claudio
  • Sangnier, Arnaud
  • Sattler, Christian
  • Scedrov, Andre
  • Schernhammer, Felix
  • Schmidt-Schauß, Manfred
  • Severi, Paula
  • Simonsen, Jakob Grue
  • Sorge, Volker
  • Stückrath, Jan
  • Talcott, Carolyn
  • Terui, Kazushige
  • Thiemann, René
  • Tiwari, Ashish
  • van Oostrom, Vincent
  • Zantema, Hans
    		•

    		  
    RTA 2012 Proceedings Frontmatter
    Authors: Tiwari, Ashish

    Abstract | Document (336 KB) | BibTeX

    Computational Real Algebraic Geometry in Practice (Invited Talk)
    Authors: Anai, Hirokazu

    Abstract | Document (244 KB) | BibTeX

    Rho-Calculi for Computation and Logic (Invited Talk)
    Authors: Kirchner, Claude

    Abstract | Document (253 KB) | BibTeX

    Dictionary-Based Tree Compression (Invited Talk)
    Authors: Maneth, Sebastian

    Abstract | Document (232 KB) | BibTeX

    An Abstract Factorization Theorem for Explicit Substitutions
    Authors: Accattoli, Beniamino

    Abstract | Document (560 KB) | BibTeX

    On the Invariance of the Unitary Cost Model for Head Reduction
    Authors: Accattoli, Beniamino ; Dal Lago, Ugo

    Abstract | Document (633 KB) | BibTeX

    A Term Rewriting System for Kuratowski's Closure-Complement Problem
    Authors: Al-Hassani, Osama ; Mahesar, Quratul-ain ; Sacerdoti Coen, Claudio ; Sorge, Volker

    Abstract | Document (631 KB) | BibTeX

    Term Rewriting Systems as Topological Dynamical Systems
    Authors: Andersen, Soren Bjerg ; Simonsen, Jakob Grue

    Abstract | Document (480 KB) | BibTeX

    Infinitary Term Graph Rewriting is Simple, Sound and Complete
    Authors: Bahr, Patrick

    Abstract | Document (453 KB) | BibTeX

    Axiomatic Sharing-via-Labelling
    Authors: Balabonski, Thibaut

    Abstract | Document (572 KB) | BibTeX

    On the Decidability Status of Reachability and Coverability in Graph Transformation Systems
    Authors: Bertrand, Nathalie ; Delzanno, Giorgio ; König, Barbara ; Sangnier, Arnaud ; Stückrath, Jan

    Abstract | Document (563 KB) | BibTeX

    Normalisation for Dynamic Pattern Calculi
    Authors: Bonelli, Eduardo ; Kesner, Delia ; Lombardi, Carlos ; Rios, Alejandro

    Abstract | Document (523 KB) | BibTeX

    A Semantic Proof that Reducibility Candidates entail Cut Elimination
    Authors: Cousineau, Denis ; Hermant, Olivier

    Abstract | Document (464 KB) | BibTeX

    One-context Unification with STG-Compressed Terms is in NP
    Authors: Creus, Carles ; Gascon, Adria ; Godoy, Guillem

    Abstract | Document (549 KB) | BibTeX

    Deciding Confluence of Ground Term Rewrite Systems in Cubic Time
    Authors: Felgenhauer, Bertram

    Abstract | Document (475 KB) | BibTeX

    Polynomial Interpretations for Higher-Order Rewriting
    Authors: Fuhs, Carsten ; Kop, Cynthia

    Abstract | Document (621 KB) | BibTeX

    On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems
    Authors: Gmeiner, Karl ; Gramlich, Bernhard ; Schernhammer, Felix

    Abstract | Document (624 KB) | BibTeX

    Reinterpreting Compression in Infinitary Rewriting
    Authors: Ketema, Jeroen

    Abstract | Document (397 KB) | BibTeX

    Finite Models vs Tree Automata in Safety Verification
    Authors: Lisitsa, Alexei

    Abstract | Document (401 KB) | BibTeX

    Triangulation in Rewriting
    Authors: van Oostrom, Vincent ; Zantema, Hans

    Abstract | Document (552 KB) | BibTeX

    Turing-Completeness of Polymorphic Stream Equation Systems
    Authors: Sattler, Christian ; Balestrieri, Florent

    Abstract | Document (470 KB) | BibTeX

    Matching of Compressed Patterns with Character-Variables
    Authors: Schmidt-Schauß, Manfred

    Abstract | Document (475 KB) | BibTeX

    Meaningless Sets in Infinitary Combinatory Logic
    Authors: Severi, Paula ; de Vries, Fer-Jan

    Abstract | Document (485 KB) | BibTeX

    A Rewriting Framework for Activities Subject to Regulations
    Authors: Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn ; Perovic, Ranko

    Abstract | Document (539 KB) | BibTeX

    Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus
    Authors: Terui, Kazushige

    Abstract | Document (600 KB) | BibTeX

    On the Formalization of Termination Techniques based on Multiset Orderings
    Authors: Thiemann, René ; Allais, Guillaume ; Nagele, Julian

    Abstract | Document (557 KB) | BibTeX

    		  



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