Willkommen, schön sind Sie da!
Logo Ex Libris

Rewriting Techniques and Applications

  • Kartonierter Einband
  • 296 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Second International Conference on Rewriting Techniques and ApplicationsThis volume contains the proceedings of the Second Interna... Weiterlesen
20%
49.50 CHF 39.60
Sie sparen CHF 9.90
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

Second International Conference on Rewriting Techniques and Applications

This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987.

Inhalt
Term-rewriting implementation of equational logic programming.- Optimizing equational programs.- A compiler for conditional term rewriting systems.- How to choose the weights in the Knuth Bendix ordering.- Detecting looping simplifications.- Combinatorial hypermap rewriting.- The word problem for finitely presented monoids and finite canonical rewriting systems.- Term rewriting systems with priorities.- A gap between linear and non linear term-rewriting systems.- Code generator generation based on template-driven target term rewriting.- Descendants of regular language in a class of rewriting systems: Algorithm and complexity of an automata construction.- Groups presented by certain classes of finite length-reducing string-rewriting systems.- Some results about confluence on a given congruence class.- Ground confluence.- Structured contextual rewriting.- Schematization of infinite sets of rewrite rules. Application to the divergence of completion processes.- Completion for rewriting modulo a congruence.- On equational theories, unification and decidability.- A general complete E-unification procedure.- Improving basic narrowing techniques.- Strategy-controlled reduction and narrowing.- Algorithmic complexity of term rewriting systems.- Optimal speedups for parallel pattern matching in trees.

Produktinformationen

Titel: Rewriting Techniques and Applications
Untertitel: Bordeaux, France, May 25-27, 1987. Proceedings
Editor:
EAN: 9783540172208
ISBN: 3540172203
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Genre: Informatik
Anzahl Seiten: 296
Gewicht: 452g
Größe: H235mm x B155mm x T16mm
Jahr: 1987
Untertitel: Englisch
Auflage: 1987

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"

Zuletzt angesehen
Verlauf löschen