Structuring Deduction by Using Abstractions (1998)

Cached

Download Links

by Dieter Hutter
Venue:International Symposium on Abstraction, Reformulation, and Approximation (SARA-98
Citations:2 - 0 self