Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Preserving Regularity via Logic Programs

Name: Preserving Regularity via Logic Programs
Brand: VDM Verlag Dr. Mueller E.K.
SKU: 06810920
Price: 51.54 EUR
Availability: InStock
Author: Friedrich Neurauter
ISBN: 9783639008388

Friedrich Neurauter

Language

English

Book Paperback

Libristo code: 06810920

Publishers VDM Verlag Dr. Mueller E.K., May 2008

This book is concerned with the presentation of a general translation of termrewrite systems to logi... Full description

Libristo code: 06810920

125 b

51.54 €

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Tündérek a tajgán Rádai Andrea

Paperback

7.48 €

DIE JUNGE MAGD OP. 23/2 CLARINETTE PAUL HINDEMITH Printed items

Sheet music

13.16 €

Стратегические альянсы & Хьюго Фро Вега Хуерта

Paperback

35.74 €

El samurái entrópico: y otros relatos J M Parapo

Paperback

7.18 €

Far Kingdoms, The Allan Cole & Chris Bunch Audiobook

MP3

25.11 €

O problema da reintegraç?o psicossocial das mulheres violadas Bibyshe Mundjo Takubusoga

Paperback

29.46 €

Era Khonshu. Avengers. Tom 7 Jason Aaron

Paperback

18.93 €

El Hombre Invisible - The Invisible Man H.G. Wells

Paperback

17.51 €

EL FAVOR (SERIE DAVID GURNEY 8) VERDON

Paperback

13.06 €

Biodiversité végétale et ethnobotanique du centre-ouest de l'Éthiopie Zemede Asfaw

Paperback

44.55 €

Sposób na żałobę. Historie o życiu, śmierci i przetrwaniu Julia Samuel

Hardback

15.39 €

Mischa, der Streuner. Von der Straße ins Herz

Hardback

21.56 €

Viral-Marketing und Blog-Marketing Stanislaw Schmidt

Paperback

15.28 €

Das Ruhrgebiet Wilhelm Dege

Paperback

53.16 €

economia de la rehabilitacion Daniel Catalán Matamoros

Paperback

34.93 €

Die Stadt Der Zukunft Christa Berger

Paperback

53.16 €

L'Adaptation Psychologique Dans La Dystrophie Myotonique Adulte Type 1 Benjamin Gallais

Paperback

70.48 €

Aspects de la R gulation de la Kinase Cdc2-Cycline B Marion Peter

Paperback

52.66 €

Für Nächte am offenen Fenster 2. 2 CDs Max Goldt

Audio CD

19.64 €

La Barcelona subterránea Mireia Valls Badía

Paperback

24.91 €

Promenade archéologique dans les environs de Vientiane Soung

Paperback

34.53 €

Exégesis y poesía en la Nueva España Ana Castaño

Paperback

21.46 €

Hier! B1. Lehrerhandbuch mit 4 Audio-CDs und Video-DVD Verena Gilmozzi

Paperback

26.73 €

Nouveau Choix Des Fables D'Esope (1770) Aesopus

Paperback

23.08 €

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 algorithm that 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.