Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

N� de r�f. du vendeur 9783540582335

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre: Higher-Order Algebra, Logic, and Term Rewriting (Paperback)
�diteur: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
Date de parution: 1994
Langue: anglais
ISBN � 10 chiffres: 3540582339
ISBN � 13 chiffres: 9783540582335
Reliure: Paperback
�tat de l'article: new

A propos de ce titre

Synopsis

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.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

APOLLO ONLINE CORP.
605 Geddes Street, Wilmington, DE, 19805, U.S.A.

Conditions de vente et de livraison

Conditions g�n�rales de vente

We guarantee the condition of every book as it�s described on the Abebooks web sites. If you�ve changed
your mind about a book that you�ve ordered, please use the Ask bookseller a question link to contact us
and we�ll respond within 2 business days.
Books ship from California and Michigan.

Droit de r�tractation

Conditions d'exp�dition

Orders usually ship within 2 business days. All books within the US ship free of charge. Delivery is 4-14 business days anywhere in the United States.

Books ship from California and Michigan.

If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Frais d?exp�dition de Etats-Unis�vers�France

Frais d?exp�dition de Etats-Unis�vers�France
Quantit� command�e	55 � 60 jours ouvr�s	54 � 59 jours ouvr�s
Premier article	EUR 64.84	EUR 86.46

Les d�lais de livraison sont fix�s par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent �tre retard�es et les acheteurs sont responsables de tous les droits ou frais associ�s. Les vendeurs peuvent vous contacter au sujet de frais suppl�mentaires afin de couvrir toute augmentation des co�ts d'exp�dition de vos articles.