Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Lecture Notes in Computer Science, 1074)

ISBN 10: 3540612548 ISBN 13: 9783540612544
Edité par Springer, 1996
Neuf(s) Couverture souple

Vendeur Ria Christie Collections, Uxbridge, Royaume-Uni Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 25 mars 2015


A propos de cet article

Description :

In. N° de réf. du vendeur ria9783540612544_new

Signaler cet article

Synopsis :

This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.
The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed.

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

Détails bibliographiques

Titre : Higher-Order Algebra, Logic, and Term ...
Éditeur : Springer
Date d'édition : 1996
Reliure : Couverture souple
Etat : New

Meilleurs résultats de recherche sur AbeBooks

There are 2 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre