Free delivery for orders over 69.99€

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 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Higher-Order Algebra, Logic, and Term Rewriting

Name: Higher-Order Algebra, Logic, and Term Rewriting
Brand: Springer, Berlin
SKU: 05274403
Price: 54.37 EUR
Availability: InStock
Author: Jan Heering
ISBN: 9783540582335

First International Workshop, Amsterdam, The Netherlands, September 23-24, 1993. Selected Papers

Language

English

Book Paperback

Libristo code: 05274403

Publishers Springer, Berlin, November 1993

This volume contains the final revised versions of the best papers presented at the First Internatio... Full description

Libristo code: 05274403

132 b

54.37 €

106.34 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Semienko súcitu Jeho svätosť dalajláma

Hardback

5.27 € 10.30 лв

escuelas D. F. Sarmiento

Hardback

65.90 € 128.89 лв

MEMORIES D'UN VICARI GENERAL DE LA SEU D'URGELL, D CREUS

Hardback

25.84 € 50.54 лв

Lettre A Un Depute de Ses Amis, Sur Le Projet de Loi Electorale DESERIN-J-B

Paperback

12.71 € 24.86 лв

Billy Lafitte - tome 1 Lune noire Anthony Neil Smith

Paperback

12.35 € 24.15 лв

Dibujo técnico 1º bachillerato Edebé

Paperback

57.32 € 112.11 лв

BROCKHAUSEN Libro da colorare Vol. 3 - Libro da colorare: Dinosauro Dortje Golldack

Paperback

12.14 € 23.75 лв

Paris Avant l'Histoire BERTHET-E

Paperback

27.24 € 53.27 лв

Les Avantures de Telemaque Fils d'Ulysse. Tome 1 Francois De Salignac De La Mothe-Fenelon

Paperback

35.14 € 68.74 лв

Sauerkrautkoma, 6 Audio-CD Rita Falk

Audio CD

20.93 € 40.93 лв

Naruto 65 Masashi Kishimoto

Paperback

7.64 € 14.95 лв

Briefe aus Russland Helmuth von Moltke

Paperback

37.73 € 73.79 лв

This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case studies; in total they provide a competently written overview of current research and suggest new research directions in this vigourous area.