Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Preserving Regularity via Logic Programs

Name: Preserving Regularity via Logic Programs
Brand: VDM Verlag Dr. Mueller E.K.
SKU: 06810920
Price: 19671 HUF
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

134 b

19 671 Ft

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

2 838 Ft

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

Sheet music

4 645 Ft

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

Paperback

13 833 Ft

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

Paperback

2 768 Ft

Far Kingdoms, The Allan Cole & Chris Bunch Audiobook

MP3

8 897 Ft

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

Paperback

11 430 Ft

Era Khonshu. Avengers. Tom 7 Jason Aaron

Paperback

6 697 Ft

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

Paperback

6 683 Ft

EL FAVOR (SERIE DAVID GURNEY 8) VERDON

Paperback

4 617 Ft

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

Paperback

17 267 Ft

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

Hardback

5 454 Ft

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

Hardback

8 356 Ft

Viral-Marketing und Blog-Marketing Stanislaw Schmidt

Paperback

5 934 Ft

Das Ruhrgebiet Wilhelm Dege

Paperback

20 447 Ft

economia de la rehabilitacion Daniel Catalán Matamoros

Paperback

13 528 Ft

Die Stadt Der Zukunft Christa Berger

Paperback

20 447 Ft

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

Paperback

27 292 Ft

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

Paperback

20 401 Ft

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

Audio CD

6 947 Ft

La Barcelona subterránea Mireia Valls Badía

Paperback

8 837 Ft

Promenade archéologique dans les environs de Vientiane Soung

Paperback

12 239 Ft

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

Paperback

8 324 Ft

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

Paperback

10 200 Ft

Nouveau Choix Des Fables D'Esope (1770) Aesopus

Paperback

8 837 Ft

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.