This image is currently not available.

A Proof Theory for General Unification

Wayne Snyder(Editor)
Birkhäuser Verlag GmbH
Published in December 1991
Book
Hardback
174 pages
978-3-7643-3593-9 (ISBN)
€66.85incl. 7% vat
Article exhausted; check different version
New edition available

More details

Other editions

Save as PDF Copy link into clipboard