Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings > Rewriting Logic and Probabilities
Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings |
Robert Nieuwenhuis
Springer Berlin Heidelberg
Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings
Rewriting Logic and Probabilities
Authors

Olivier Bournez; Mathieu Hoyrup

ARI Id

1664528268980_2063388

Access

Not Available Free

Pages

61-75

DOI

10.1007/3-540-44881-0_6

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-44881-0_6

Table of Contents of Book
Showing 1 to 20 of 37 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-XI
Symbolic Systems Biology
Patrick Lincoln
1-1
Confluence as a Cut Elimination Property
Gilles Dowek
2-13
Associative-Commutative Rewriting on Large Terms
Steven Eker
14-29
A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms
Olivier Bournez; Guy-Marie Côme; Valérie Conraud; Hélène Kirchner; Liliana Ibănescu
30-45
Efficient Reductions with Director Strings
François-Régis Sinot; Maribel Fernández; Ian Mackie
46-60
Rewriting Logic and Probabilities
Olivier Bournez; Mathieu Hoyrup
61-75
The Maude 2. 0 System
Manuel Clavel; Francisco Durán; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer et al.
76-87
Diagrams for Meaning Preservation
Joe B. Wells; Detlef Plump; Fairouz Kamareddine
88-106
Expression Reduction Systems with Patterns
Julien Forest; Delia Kesner
107-122
Residuals in Higher-Order Rewriting
H. J. Sander Bruggink
123-137
Rewriting UNITY
Adam Granicz; Daniel M. Zimmerman; Jason Hickey
138-147
New Decidability Results for Fragments of First-Order Logic and Application to Cryptographic Protocols
Hubert Comon-Lundh; Véronique Cortier
148-164
An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation
Deepak Kapur; Paliath Narendran; Lida Wang
165-179
Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties
Kumar Neeraj Verma
180-196
Rule-Based Analysis of Dimensional Safety
Feng Chen; Grigore Roşu; Ram Prasad Venkatesan
197-207
Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems
Jean-Louis Giavitto
208-233
On the Complexity of Higher-Order Matching in the Linear λ-Calculus
Sylvain Salvati; Philippe de Groote
234-245
XML Schema, Tree Logic and Sheaves Automata
Silvano Dal Zilio; Denis Lugiez
246-263
Size-Change Termination for Term Rewriting
René Thiemann; Jürgen Giesl
264-278
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 37 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings