Any Ground Associative-Commutative Theory Has a Finite Canonical System (1991)

Cached

Download Links

by Paliath Narendran , Michaël Rusinowitch
Venue:Proceedings 4th Conference on Rewriting Techniques and Applications
Citations:18 - 4 self