Completeness of Category-Based Equational Deduction (1995)

Cached

Download Links

by Razvan Diaconescu
Venue:Mathematical Structures in Computer Science
Citations:13 - 7 self