Tag: Bachmair

Canonical Equational Proofs (Progress in Theoretical Computer Science) by Bachmair (PDF)

  Ebook Info Published: 1991 Number of pages: 148 pages Format: PDF File Size: 4.63 MB Authors: Bachmair Description Equations...
Read more

Advertisement

spot_img