14. RTA 2003: Valencia, Spain

@proceedings{DBLP:conf/rta/2003,
  editor    = {Robert Nieuwenhuis},
  title     = {Rewriting Techniques and Applications, 14th International Conference,
               RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  booktitle = {RTA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2706},
  year      = {2003},
  isbn      = {3-540-40254-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Patrick Lincoln:
  Invited Talk: Symbolic Systems Biology. 1
  Electronic Edition (Springer LINK) BibTeX
• Gilles Dowek:
  Confluence as a Cut Elimination Property. 2-13
  Electronic Edition (Springer LINK) BibTeX
• Steven Eker:
  Associative-Commutative Rewriting on Large Terms. 14-29
  Electronic Edition (Springer LINK) BibTeX
• Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Liliana Ibanescu:
  A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms. 30-45
  Electronic Edition (Springer LINK) BibTeX
• François-Régis Sinot, Maribel Fernández, Ian Mackie:
  Efficient Reductions with Director Strings. 46-60
  Electronic Edition (Springer LINK) BibTeX
• Olivier Bournez, Mathieu Hoyrup:
  Rewriting Logic and Probabilities. 61-75
  Electronic Edition (Springer LINK) BibTeX
• Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
  The Maude 2.0 System. 76-87
  Electronic Edition (Springer LINK) BibTeX
• J. B. Wells, Detlef Plump, Fairouz Kamareddine:
  Diagrams for Meaning Preservation. 88-106
  Electronic Edition (Springer LINK) BibTeX
• Julien Forest, Delia Kesner:
  Expression Reduction Systems with Patterns. 107-122
  Electronic Edition (Springer LINK) BibTeX
• Harrie Jan Sander Bruggink:
  Residuals in Higher-Order Rewriting. 123-137
  Electronic Edition (Springer LINK) BibTeX
• Adam Granicz, Daniel M. Zimmerman, Jason Hickey:
  Rewriting UNITY. 138-147
  Electronic Edition (Springer LINK) BibTeX
• Hubert Comon-Lundh, Véronique Cortier:
  New Decidability Results for Fragments of First-Order Logic and Application to Cryptographic Protocols. 148-164
  Electronic Edition (Springer LINK) BibTeX
• Deepak Kapur, Paliath Narendran, Lida Wang:
  An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation. 165-179
  Electronic Edition (Springer LINK) BibTeX
• Kumar Neeraj Verma:
  Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties. 180-196
  Electronic Edition (Springer LINK) BibTeX
• Feng Chen, Grigore Rosu, Ram Prasad Venkatesan:
  Rule-Based Analysis of Dimensional Safety. 197-207
  Electronic Edition (Springer LINK) BibTeX
• Jean-Louis Giavitto:
  Invited Talk: Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems. 208-233
  Electronic Edition (Springer LINK) BibTeX
• Sylvain Salvati, Philippe de Groote:
  On the Complexity of Higher-Order Matching in the Linear lambda-Calculus. 234-245
  Electronic Edition (Springer LINK) BibTeX
• Silvano Dal-Zilio, Denis Lugiez:
  XML Schema, Tree Logic and Sheaves Automata. 246-263
  Electronic Edition (Springer LINK) BibTeX
• René Thiemann, Jürgen Giesl:
  Size-Change Termination for Term Rewriting. 264-278
  Electronic Edition (Springer LINK) BibTeX
• Cristina Borralleras, Albert Rubio:
  Monotonic AC-Compatible Semantic Path Orderings. 279-295
  Electronic Edition (Springer LINK) BibTeX
• Georg Moser, Andreas Weiermann:
  Relating Derivation Lengths with the Slow-Growing Hierarchy Directly. 296-310
  Electronic Edition (Springer LINK) BibTeX
• Nao Hirokawa, Aart Middeldorp:
  Tsukuba Termination Tool. 311-320
  Electronic Edition (Springer LINK) BibTeX
• Jürgen Giesl, Hans Zantema:
  Liveness in Rewriting. 321-336
  Electronic Edition (Springer LINK) BibTeX
• Gilles Barthe, Sorin Stratulat:
  Validation of the JavaCard Platform with Implicit Induction Techniques. 337-351
  Electronic Edition (Springer LINK) BibTeX
• Pascal Urso, Emmanuel Kounalis:
  "Term Partition" for Mathematical Induction. 352-366
  Electronic Edition (Springer LINK) BibTeX
• Temur Kutsia:
  Equational Prover of THEOREMA. 367-379
  Electronic Edition (Springer LINK) BibTeX
• Takahito Aoto, Toshiyuki Yamada:
  Termination of Simply Typed Term Rewriting by Translation and Labelling. 380-394
  Electronic Edition (Springer LINK) BibTeX
• Frédéric Blanqui:
  Rewriting Modulo in Deduction Modulo. 395-409
  Electronic Edition (Springer LINK) BibTeX
• Alfons Geser:
  Termination of String Rewriting Rules That Have One Pair of Overlaps. 410-423
  Electronic Edition (Springer LINK) BibTeX
• Mark van den Brand, Pierre-Etienne Moreau, Jurgen J. Vinju:
  Environments for Term Rewriting Engines for Free! 424-435
  Electronic Edition (Springer LINK) BibTeX
• David A. McAllester:
  Joint RTA-TLCA Invited Talk: A Logical Algorithm for ML Type Inference. 436-451
  Electronic Edition (Springer LINK) BibTeX
• Neil Ghani, Anne Heyworth:
  A Rewriting Alternative to Reidemeister-Schreier. 452-466
  Electronic Edition (Springer LINK) BibTeX
• Zurab Khasidashvili, John J. Glauert:
  Stable Computational Semantics of Conflict-Free Rewrite Systems (Partial Orders with Duplication). 467-482
  Electronic Edition (Springer LINK) BibTeX
• Hitoshi Ohsaki, Hiroyuki Seki, Toshinori Takai:
  Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism. 483-498
  Electronic Edition (Springer LINK) BibTeX
• Grigore Rosu, Mahesh Viswanathan:
  Testing Extended Regular Language Membership Incrementally by Rewriting. 499-514
  Electronic Edition (Springer LINK) BibTeX