Confluent String Rewriting (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE) - Hardcover

Hardcover

ISBN 10: 0387137157 ISBN 13: 9780387137155

Synopsis

Confluent String Rewriting This monograph treats comprehensively central aspects of string rewriting systems in the form of semi-Thue systems. These are so general as to enable the discussion of all the basic notions and questions that arise in arbitrary replacement systems as used in various areas of computer science. The Church-Rosser property is used in its original meaning and the existence of complete monoid and group ... Full description

Edition details

• ISBN 10: 0387137157
• ISBN 13: 9780387137155
• Binding: Hardcover
• Language: English