new book on unification

Article View: fj.mail-lists.types

Article #15

Back to fj.mail-lists.types Previous Next

#15

From: jean
Date: Wed, 29 Jul 1992 22:08

16 lines
962 bytes

Date: Wed, 29 Jul 92 11:56:22 -0400

I just want to bring to the attention of this community the 
interesting book by Wayne Snyder on the theory of unification. 
This book treats both first-order E-unification
(unification modulo an equational theory E) and higher-order
unification. And yes, it is possible to be rigorous and pedagogical.
Puns intended (of course!), this book shows how apparently
different unification problems can be treated using a unified approach,
the method of transformations.

A proof theory for general unification, by Wayne Snyder, PCS 11,
Birkhauser, Boston,  (1991).


-- Jean

Technical Details

Message-ID: <312730@nttlab.ntt.JP>

Path: arc1-ca.pugleaf.net!sparky!uunet!sun-barr!sh.wide!wnoc-snd-ss2!akiu!hakata!kyu-cs!lab!nttlab!daemon

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!sun-barr!sh.wide!wnoc-snd-ss2!akiu!hakata!kyu-cs!lab!nttlab!daemon
From: jean@saul.cis.upenn.edu
Newsgroups: fj.mail-lists.types
Subject: new book on unification
Message-ID: <312730@nttlab.ntt.JP>
Date: 29 Jul 92 22:08:17 GMT
Sender: daemon@nttlab.ntt.JP
Distribution: fj
Lines: 16
Approved: news@nttlab.ntt