Start Over
You searched for: author_facet Bachmair, Leo

Search Results

Cover image for Rewriting techniques and applications

Rewriting techniques and applications

  • 2000
  • Format: Electronic
Location
Access Content Online
Cover image for Rewriting techniques and applications

Rewriting techniques and applications

  • 2000
  • Format: Book
Location Call # Status
Joyner - General Stacks QA267 .R48 2000 ✔ Available
Cover image for Canonical equational proofs

Canonical equational proofs

Location Call # Status
Joyner - General Stacks QA267 .B32 1991 ✔ Available