Guiding Equational Proofs By Attribute Functions (1993)

Cached

Download Links

by Jürgen Cleve , D- Saarbrucken , Dieter Hutter
Citations:2 - 1 self