Otto, Friedrich

String-Rewriting Systems (Monographs in Computer Science)

(No reviews yet) Write a Review
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
£53.99

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.

View AllClose