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

 
9780387137155: Confluent String Rewriting (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)

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

"synopsis" may belong to another edition of this title.

Other Popular Editions of the Same Title