Nachum Dershowitz
Conditional and Typed Rewriting Systems: 4th International Workshop, Ctrs-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings (4th International Workshop, Ctrs 94, Jerusalem, Israel, July 13-15, 1994. Proceedings) - Lecture Notes in Computer Science Nachum Dershowitz

Name: Conditional and Typed Rewriting Systems: 4th International Workshop, Ctrs-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings (4th International Workshop, Ctrs 94, Jerusalem, Israel, July 13-15, 1994. Proceedings) - Lecture Notes in Computer Science
Price: 55.99 USD
Availability: OutOfStock
Author: Nachum Dershowitz

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Conditional and Typed Rewriting Systems: 4th International Workshop, Ctrs-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings (4th International Workshop, Ctrs 94, Jerusalem, Israel, July 13-15, 1994. Proceedings) - Lecture Notes in Computer Science

Nachum Dershowitz

These conference proceedings report the research advances in the area of rewriting, in general achieved since the preceding workshop, held in 1992. The topics addressed include conditional term rewriting, typed systems, higher-order rewriting, graph rewriting, and combinator-based languages.

384 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	22 de septiembre de 1995
ISBN13	9783540603818
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	384
Dimensiones	156 × 234 × 20 mm · 548 g
Lengua	Alemán
Editor	Dershowitz, Nachum
Editor	Lindenstrauss, Naomi