
Conferences in DBLP
 Natarajan Shankar, Harald Rueß
Combining Shostak Theories. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:118 [Conf]
 John C. Mitchell
Multiset Rewriting and Security Protocol Analysis. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:1922 [Conf]
 Franz Baader
Engineering of Logics for the ContentBased Representation of Information. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:23 [Conf]
 PaulAndré Melliès
Axiomatic Rewriting Theory VI Residual Theory Revisited. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:2450 [Conf]
 Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno
Static Analysis of Modularity of betaReduction in the Hyperbalanced lambdaCalculus. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:5165 [Conf]
 Germain Faure, Claude Kirchner
Exceptions in the Rewriting Calculus. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:6682 [Conf]
 Georg Struth
Deriving Focused Lattice Calculi. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:8397 [Conf]
 Hiroyuki Seki, Toshinori Takai, Youhei Fujinaka, Yuichi Kaji
Layered Transducing Term Rewriting System and Its Recognizability Preserving Property. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:98113 [Conf]
 Hitoshi Ohsaki, Toshinori Takai
Decidability and Closure Properties of Equational Tree Languages. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:114128 [Conf]
 Pierre Réty, Julie Vuotto
Regular Sets of Descendants by Some Rewrite Strategies. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:129143 [Conf]
 Johannes Waldmann
Rewrite Games. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:144158 [Conf]
 Paula Severi, FerJan de Vries
An Extensional Böhm Model. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:159173 [Conf]
 Julien Forest
A Weak Calculus with Explicit Operators for Pattern Matching and Substitution. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:174191 [Conf]
 Chuck Liang, Gopalan Nadathur
Tradeoffs in the Intensional Representation of Lambda Terms. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:192206 [Conf]
 David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen
Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:207221 [Conf]
 Janis Voigtländer
Conditions for Efficiency Improvement by Tree Transducer Composition. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:222236 [Conf]
 Martin Bravenboer, Eelco Visser
Rewriting Strategies for Instruction Selection. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:237251 [Conf]
 Olivier Bournez, Claude Kirchner
Probabilistic Rewrite Strategies. Applications to ELAN. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:252266 [Conf]
 Alfons Geser
Loops of Superexponential Lengths in OneRule String Rewriting. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:267280 [Conf]
 Elias TahhanBittar
Recursive Derivational Length Bounds for Confluent Term Rewrite Systems. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:281295 [Conf]
 Salvador Lucas
Termination of (Canonical) ContextSensitive Rewriting. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:296310 [Conf]
 Witold Charatonik, JeanMarc Talbot
Atomic Set Constraints with Projection. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:311325 [Conf]
 Jordi Levy, Mateu Villaret
Currying SecondOrder Unification Problems. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:326339 [Conf]
 Daniel J. Dougherty, Tomasz Wierzbicki
A Decidable Variant of Higher Order Matching. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:340351 [Conf]
 Franz Baader, Cesare Tinelli
Combining Decision Procedures for Positive Theories Sharing Constructors. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:352366 [Conf]
 Jaco van de Pol
JITty: A Rewriter with Strategy Annotations. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:367370 [Conf]
 Irène Durand
Autowrite: A Tool for Checking Properties of Term Rewriting Systems. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:371375 [Conf]
 Benoit Lecland, Pierre Réty
TTSLI: An Implementation of TreeTuple Synchronized Languages. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:376379 [Conf]
 Sylvain Lippi
in^{2} : A Graphical Interpreter for Interaction Nets. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:380386 [Conf]
