Induction using term orders
Francois Bronsard, Uday S. Reddy, Robert W. HaskerVolume:
16
Language:
english
Pages:
35
DOI:
10.1007/bf00244458
Date:
March, 1996
File:
PDF, 1.55 MB
english, 1996