Canonical equational proofs

Web Site CiNii Available at 15 libraries

Bibliographic Information

Title
"Canonical equational proofs"
Statement of Responsibility
Leo Bachmair
Publisher
  • Birkhäuser
Publication Year
  • 1991
Book size
24 cm
Series Name / No
  • :us
  • :sz

Search this Book/Journal

Notes

Based in part on author's thesis (Ph. D.)--University of Illinois at Urbana-Champaign, 1987

Includes bibliographical references (p. 117-127) and index

Related Books

See more

Details 詳細情報について

Back to top