Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 2003 :
User Rating: Be the first one!
Author: International Conference on Rewriting Techniques and Applications (14th : 2003 : Valencia, Spain), Nieuwenhuis, Robert
Added by: sketch
Added Date: 2015-12-30
Language: eng
Subjects: Rewriting systems (Computer science), Computer programming, Algorithms
Publishers: Berlin ; New York : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540402543
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 283.94 MB
PDF Size: 4.5 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 429
Views: 479
Total Files: 18
Media Type: texts
Total Files: 5
TORRENT
springer 10 1007 3 540 44881 0 archive t...torrent
Last Modified: 2022-03-09 08:42:01
Download
Size: 15.19 KB
Description
Rewriting Techniques and Applications: 14th International Conference, RTA 2003 Valencia, Spain, June 9–11, 2003 Proceedings
Author: Robert Nieuwenhuis
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-40254-1
DOI: 10.1007/3-540-44881-0
Table of Contents:
Includes bibliographical references and index
Author: Robert Nieuwenhuis
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-40254-1
DOI: 10.1007/3-540-44881-0
Table of Contents:
- Symbolic Systems Biology
- Confluence as a Cut Elimination Property
- Associative-Commutative Rewriting on Large Terms
- A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms
- Efficient Reductions with Director Strings
- Rewriting Logic and Probabilities
- The Maude 2.0 System
- Diagrams for Meaning Preservation
- Expression Reduction Systems with Patterns
- Residuals in Higher-Order Rewriting
- Rewriting UNITY
- New Decidability Results for Fragments of First-Order Logic and Application to Cryptographic Protocols
- An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation
- Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties
- Rule-Based Analysis of Dimensional Safety
- Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems
- On the Complexity of Higher-Order Matching in the Linear λ-Calculus
- XML Schema, Tree Logic and Sheaves Automata
- Size-Change Termination for Term Rewriting
- Monotonic AC-Compatible Semantic Path Orderings
Includes bibliographical references and index
You May Also Like
We will be happy to hear your thoughts