Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Conditional Term Rewriting Systems

Name: Conditional Term Rewriting Systems
Brand: Springer, Berlin
SKU: 02092611
Price: 56.59 EUR
Availability: InStock
Author: Michael Rusinowitch
ISBN: 9783540563938

Third International CRTS Workshop, Pont-a-Mousson, France, July 8-10, 1992. Proceedings

Michael Rusinowitch

Jean-Luc Remy

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 02092611

Editores Springer, Berlin, noviembre 1992

This volume contains the papers preesented at the Third International Workshop on Conditional Term R... Descripción completa

Código Libristo: 02092611

139 b

56.59 €

Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Alemannien Und Der Norden Hans-Peter Naumann

Tapa dura

173.49 €

Last and First Men Olaf Stapledon

Tapa blanda

9.39 €

Eichendorff und die Frauen Frauke Itzerott

Tapa blanda

10.09 €

Pakiet Saga rodziny Neshov. Tom 1-3 Anne B. Ragde

Tapa blanda

19.39 €

Access - Allgemeine Ausgabe 2014 - Band 4: 8. Schuljahr Jörg Rademacher

CD de audio

45.19 €

This volume contains the papers preesented at the Third International Workshop on Conditional Term Rewriting Systems, held in Pont- -Mousson, France, July 8-10, 1992. Topics covered include conditional rewriting and its applications to programming languages, specification languages, automated deduction, constrained rewriting, typed rewriting, higher-order rewriting, and graph rewriting. The volume contains 40 papers, including four invited talks: Algebraic semantics of rewriting terms and types, by K.Meinke; Generic induction proofs, by P. Padawitz; Conditional term rewriting and first-order theorem proving, by D. Plaisted; and Decidability of finiteness properties (abstract), by L. Pacholski. The first CTRS workshop was held at the University of Parisin 1987 and the second at Concordia University, Montreal, in1990. Their proceddings are published as Lecture Notes in Computer Science Volumes 308 and 516 respectively.