Preserving Regularity via Logic Programs

By Friedrich Neurauter

This book is concerned with the presentation of a general translation of term rewrite systems to logic programs such that basic rewriting derivations become logic deductions. In particular, this work... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3639008383
• ISBN13: 9783639008388
• Release Date: May 2008
• Publisher: VDM Verlag Dr. Mueller E.K.
• Length: 80 Pages
• Weight: 0.26 lbs.
• Dimensions: 0.2" x 6.0" x 9.0"