Rewriting Techniques and Applications: Bordeaux, France, May 25-27, 1987. Procee

Description: Rewriting Techniques and Applications by Pierre Lescanne This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987. FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987. Notes Springer Book Archives Table of Contents 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. Promotional Springer Book Archives Details ISBN3540172203 Short Title REWRITING TECHNIQUES & APPLICA Series Lecture Notes in Computer Science Language English ISBN-10 3540172203 ISBN-13 9783540172208 Media Book Format Paperback Series Number 256 Year 1987 Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K Place of Publication Berlin Country of Publication Germany Edited by Pierre Lescanne Author Pierre Lescanne Pages 288 Subtitle Bordeaux, France, May 25-27, 1987. Proceedings Illustrations VIII, 288 p. DOI 10.1007/b33849;10.1007/978-3-540-47421-0;10.1007/3-540-17220-3 Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Edition Description 1987 ed. Edition 1987th Publication Date 1987-05-14 DEWEY 004 Audience General We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:96276754;

Price: 86.19 AUD

Location: Melbourne

End Time: 2025-01-05T11:45:58.000Z

Shipping Cost: 15.29 AUD