Name: preserving regularity via logic programs
SKU: 3487144
Price: 1912.00 TWD
Availability: InStock
Author: friedrich neurauter
ISBN: 9783639008388

Select your country

Americas

Europe

Rest of the world

portada preserving regularity via logic programs

preserving regularity via logic programs

Type

Physical Book

Publisher

vdm verlag dr. mueller e.k.

Author

friedrich neurauter

Pages

ISBN

3639008383

ISBN13

9783639008388

Synopsis "preserving regularity via logic programs"

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 is a review of a recent research paper on this very ...