DMCA

Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings (1995)

Cached

Download Links

by Leo Bachmair , Harald Ganzinger , Jürgen Stuber
Venue:In Proc. 10th Workshop on Specification of Abstract Data Types
Citations:7 - 4 self