Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings [1 ed.] 9783540172208, 3540172203

This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, &q

243 29 3MB

English Pages 288 [291] Year 1987

Table of contents :
Term-rewriting implementation of equational logic programming....Pages 1-12
Optimizing equational programs....Pages 13-24
A compiler for conditional term rewriting systems....Pages 25-41
How to choose the weights in the Knuth Bendix ordering....Pages 42-53
Detecting looping simplifications....Pages 54-61
Combinatorial hypermap rewriting....Pages 62-73
The word problem for finitely presented monoids and finite canonical rewriting systems....Pages 74-82
Term rewriting systems with priorities....Pages 83-94
A gap between linear and non linear term-rewriting systems....Pages 95-104
Code generator generation based on template-driven target term rewriting....Pages 105-120
Descendants of regular language in a class of rewriting systems: Algorithm and complexity of an automata construction....Pages 121-132
Groups presented by certain classes of finite length-reducing string-rewriting systems....Pages 133-144
Some results about confluence on a given congruence class....Pages 145-155
Ground confluence....Pages 156-167
Structured contextual rewriting....Pages 168-179
Schematization of infinite sets of rewrite rules. Application to the divergence of completion processes....Pages 180-191
Completion for rewriting modulo a congruence....Pages 192-203
On equational theories, unification and decidability....Pages 204-215
A general complete E -unification procedure....Pages 216-227
Improving basic narrowing techniques....Pages 228-241
Strategy-controlled reduction and narrowing....Pages 242-255
Algorithmic complexity of term rewriting systems....Pages 256-273
Optimal speedups for parallel pattern matching in trees....Pages 274-285

Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings [1 ed.]
9783540172208, 3540172203

Author / Uploaded
Michael J. O'Donnell (auth.)
Pierre Lescanne (eds.)

Similar Topics
Computers

0 0 0
Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up

Recommend Papers

Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8–10, 1987 Proceedings [1 ed.] 3540192425, 9783540192428

The 1st International Workshop on Conditional Term Rewriting Systems took place in Orsay (University of Paris-Sud) in Ju

245 18 3MB Read more

Combinatorial Algorithms: 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings [1st ed.] 9783030489656, 9783030489663

This book constitutes the proceedings of the 31st International Workshop on Combinatorial Algorithms which was planned t

351 105 17MB Read more

The Sephardic Jews of Bordeaux : assimilation and emancipation in revolutionary and Napoleon. France. 9780817369033, 0817369031

400 100 52MB Read more

Advances in Cryptology — EUROCRYPT ’95: International Conference on the Theory and Application of Cryptographic Techniques Saint-Malo, France, May 21–25, 1995 Proceedings [1 ed.] 3540594094, 9783540594093

This volume constitutes the proceedings of EUROCRYPT '95, the 1995 International Workshop on the Theory and Applica

301 1 4MB Read more

Trends in Computer Algebra: International Symposium Bad Neuenahr, May 19–21, 1987 Proceedings [1 ed.] 3540189289

This is the proceedings volume of the symposium entitled "Trends in Computer Algebra" held in Bad Neuenahr, Ma

255 76 1MB Read more

Bordeaux 8872129435, 9788872129432

Meridiani guarda al mondo con occhi curiosi. E più che descriverlo, lo interroga lasciando che siano i luoghi a racconta

122 66 55MB Read more

Multimedia Applications, Services and Techniques - ECMAST'99: 4th European Conference, Madrid, Spain, May 26-28, 1999, Proceedings (Lecture Notes in Computer Science, 1629) 9783540660828, 3540660828

The liberalisation in the telecommunication market and thus the advent of competition has had a tremendous impact on bus

112 24 Read more

Rewriting Saints and Ancestors: Memory and Forgetting in France, 5-12 9780812290080

Rewriting Saints and Ancestors examines the ways medieval French writers re-remembered and rewrote the lives of saints a

113 107 1MB Read more

Flavins and Flavoproteins 1987: Proceedings of the Ninth International Symposium, Atlanta, Georgia, USA, June 7–12, 1987 9783110884715, 9783110109504

107 106 36MB Read more

Anomaly Detection: Techniques and Applications 9781536193558

393 75 9MB Read more