Otto, Friedrich
String-Rewriting Systems (Monographs in Computer Science)
- ISBN 13:
- 9781461397731
- author:
- Otto, Friedrich
- format:
- Paperback
- publisher:
- Springer New York
- language:
- English
- Publication Year:
- 2011
- Pages:
- 189
- Dimensions:
- 23.4 x 15.6 x 1.1 centimetres (0
- Genre:
- Computers, Programming, General,
- Condition:
- New
- Availability:
- Item usually sent within 5 working days
Description
String-reframing Systems provides an in-depth exploration of this fundamental concept in theoretical computer science and artificial intelligence. First introduced by Axel Thue in the early 20th century, string-reframing has gained renewed attention due to its connections with formal language theory and automated deduction. This monograph presents a comprehensive overview of the subject, revising and reframing lecture notes from renowned researchers. The authors, both active in the field, aim to gather together the most useful results in a way that facilitates understanding and application in various areas, including general reframing, automated deduction, and algebraic problems of algebraic structures. Written for independent study by researchers in theoretical computer science or artificial intelligence, this book offers a valuable resource for those seeking to understand the underlying concepts and principles. With 189 pages of detailed analysis and explanation, String-reframing Systems is an essential reference for anyone looking to delve into the foundations of this important area of research.