Preserving Regularity via Logic Programs
Proving Regularity Preservationof Term Rewrite Systemswith Logic Programming Techniques
(Sprache: Englisch)
This book is concerned with the presentation of a general translation of termrewrite systems to logic programs such that basic rewriting derivations become logicdeductions. In particular, this work is a review of a recent research paper on this verysubject...
Leider schon ausverkauft
versandkostenfrei
Buch (Kartoniert)
50.40 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Preserving Regularity via Logic Programs “
Klappentext zu „Preserving Regularity via Logic Programs “
This book is concerned with the presentation of a general translation of termrewrite systems to logic programs such that basic rewriting derivations become logicdeductions. In particular, this work is a review of a recent research paper on this verysubject written by S. Limet and G. Salzer in which they present an algorithmthat implements such a translation scheme for certain classes of term rewrite systems.Basically, their algorithm takes as input a term rewrite systemthat satisfies some syntactical restrictions and a regular tree language, transforms both inputs to logic programs and combines the resulting programsto a single logic program that allows to infer regularity preservation of the original term rewrite system. The transformation of certain term rewrite systems results in so-called cs-programs which were originally studied in the context of constraint systems and tree tuple languages.By applying known results of cs-programs new classes of regularity preserving term rewrite systems are obtained.
Autoren-Porträt von Friedrich Neurauter
Neurauter, FriedrichBorn and raised amidst the mountains of the Tyrol, a historical region located in the western part of Austria, my love for mathematics and computers became obvious already at a very young age. Hence, it was a logical step to study these subjects at the University of Innsbruck, graduating in 2007 and starting my PhD studies shortly afterwards.
Bibliographische Angaben
- Autor: Friedrich Neurauter
- 2008, 80 Seiten, Maße: 15 x 22 cm, Kartoniert (TB), Englisch
- Verlag: VDM Verlag Dr. Müller e.K.
- ISBN-10: 3639008383
- ISBN-13: 9783639008388
Sprache:
Englisch
Kommentar zu "Preserving Regularity via Logic Programs"
Schreiben Sie einen Kommentar zu "Preserving Regularity via Logic Programs".
Kommentar verfassen