Rewriting Techniques and Applications 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings / edited by Sophie Tison.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Tison, Sophie (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Edition:	1st ed. 2002.
Series:	Lecture Notes in Computer Science, 2378 Springer eBook Collection.
Subjects:	Computer programming. Mathematical logic. Computer logic. Programming languages (Electronic computers). Artificial intelligence. Computer science—Mathematics. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

Invited Talks
Combining Shostak Theories
Multiset Rewriting and Security Protocol Analysis
Engineering of Logics for the Content-Based Representation of Information
Regular Papers, Application Papers
Axiomatic Rewriting Theory VI: Residual Theory Revisited
Static Analysis of Modularity of ?-Reduction in the Hyperbalanced ?-Calculus
Exceptions in the Rewriting Calculus
Deriving Focused Lattice Calculi
Layered Transducing Term Rewriting System and Its Recognizability Preserving Property
Decidability and Closure Properties of Equational Tree Languages
Regular Sets of Descendants by Some Rewrite Strategies
Rewrite Games
An Extensional Böhm Model
A Weak Calculus with Explicit Operators for Pattern Matching and Substitution
Tradeoffs in the Intensional Representation of Lambda Terms
Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae
Conditions for Efficiency Improvement by Tree Transducer Composition
Rewriting Strategies for Instruction Selection
Probabilistic Rewrite Strategies. Applications to ELAN
Loops of Superexponential Lengths in One-Rule String Rewriting
Recursive Derivational Length Bounds for Confluent Term Rewrite Systems Research Paper
Termination of (Canonical) Context-Sensitive Rewriting
Atomic Set Constraints with Projection
Currying Second-Order Unification Problems
A Decidable Variant of Higher Order Matching
Combining Decision Procedures for Positive Theories Sharing Constructors
System Descriptions
JITty: A Rewriter with Strategy Annotations
Autowrite: A Tool for Checking Properties of Term Rewriting Systems
TTSLI: An Implementation of Tree-Tuple Synchronized Languages
in2: A Graphical Interpreter for Interaction Nets.

Rewriting Techniques and Applications 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings / edited by Sophie Tison.

Similar Items