A proof theory for general unification

Web Site CiNii Available at 19 libraries

Bibliographic Information

Title
"A proof theory for general unification"
Statement of Responsibility
Wayne Snyder
Publisher
  • Birkhäuser
Publication Year
  • 1991
Book size
24 cm
Series Name / No
  • : Boston
  • : Basel

Search this Book/Journal

Notes

Bibliographical references: p. [167]-175

Related Books

See more

Details 詳細情報について

Back to top