ask others

23rd RTA 2012: Nagoya, Japan

> Home > Conferences and Workshops > RTA

- view
  - electronic edition @ dagstuhl.de
- export record
  dblp key:
  - conf/rta/2012
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/2012
Ashish Tiwari:
23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan. LIPIcs 15, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012, ISBN 978-3-939897-38-5
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Tiwari12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Tiwari12
Ashish Tiwari:
RTA 2012 Proceedings Frontmatter. i-xiii
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Anai12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Anai12
Hirokazu Anai:
Computational Real Algebraic Geometry in Practice (Invited Talk). 1
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Kirchner12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Kirchner12
Claude Kirchner:
Rho-Calculi for Computation and Logic (Invited Talk). 2-4
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Maneth12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Maneth12
Sebastian Maneth:
Dictionary-Based Tree Compression (Invited Talk). 5-5
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Accattoli12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Accattoli12
Beniamino Accattoli:
An Abstract Factorization Theorem for Explicit Substitutions. 6-21
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/AccattoliL12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/AccattoliL12
Beniamino Accattoli, Ugo Dal Lago:
On the Invariance of the Unitary Cost Model for Head Reduction. 22-37
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Al-HassaniMCS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Al-HassaniMCS12
Osama Al-Hassani, Quratul-ain Mahesar, Claudio Sacerdoti Coen, Volker Sorge:
A Term Rewriting System for Kuratowski's Closure-Complement Problem. 38-52
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/AndersenS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/AndersenS12
Soren Bjerg Andersen, Jakob Grue Simonsen:
Term Rewriting Systems as Topological Dynamical Systems. 53-68
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Bahr12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Bahr12
Patrick Bahr:
Infinitary Term Graph Rewriting is Simple, Sound and Complete. 69-84
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Balabonski12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Balabonski12
Thibaut Balabonski:
Axiomatic Sharing-via-Labelling. 85-100
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/BertrandDKSS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/BertrandDKSS12
Nathalie Bertrand, Giorgio Delzanno, Barbara König, Arnaud Sangnier, Jan Stückrath:
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems. 101-116
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/BonelliKLR12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/BonelliKLR12
Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos:
Normalisation for Dynamic Pattern Calculi. 117-132
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/CousineauH12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/CousineauH12
Denis Cousineau, Olivier Hermant:
A Semantic Proof that Reducibility Candidates entail Cut Elimination. 133-148
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/CreusGG12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/CreusGG12
Carles Creus, Adrià Gascón, Guillem Godoy:
One-context Unification with STG-Compressed Terms is in NP. 149-164
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Felgenhauer12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Felgenhauer12
Bertram Felgenhauer:
Deciding Confluence of Ground Term Rewrite Systems in Cubic Time. 165-175
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/FuhsK12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/FuhsK12
Carsten Fuhs, Cynthia Kop:
Polynomial Interpretations for Higher-Order Rewriting. 176-192
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/GmeinerGS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/GmeinerGS12
Karl Gmeiner, Bernhard Gramlich, Felix Schernhammer:
On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems. 193-208
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Ketema12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Ketema12
Jeroen Ketema:
Reinterpreting Compression in Infinitary Rewriting. 209-224
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Lisitsa12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Lisitsa12
Alexei Lisitsa:
Finite Models vs Tree Automata in Safety Verification. 225-239
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/OostromZ12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/OostromZ12
Vincent van Oostrom, Hans Zantema:
Triangulation in Rewriting. 240-255
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/SattlerB12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/SattlerB12
Christian Sattler, Florent Balestrieri:
Turing-Completeness of Polymorphic Stream Equation Systems. 256-271
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Schmidt-Schauss12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Schmidt-Schauss12
Manfred Schmidt-Schauß:
Matching of Compressed Patterns with Character-Variables. 272-287
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/SeveriV12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/SeveriV12
Paula Severi, Fer-Jan de Vries:
Meaningless Sets in Infinitary Combinatory Logic. 288-304
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/KanovichKNSTP12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/KanovichKNSTP12
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic:
A Rewriting Framework for Activities Subject to Regulations. 305-322
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Terui12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Terui12
Kazushige Terui:
Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus. 323-338
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/ThiemannAN12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/ThiemannAN12
René Thiemann, Guillaume Allais, Julian Nagele:
On the Formalization of Termination Techniques based on Multiset Orderings. 339-354

maintained by

at