[Home] [CV] [Publications]

Publications

Minus 1a5aa4f1c08b567c9107cba729de26bc87c17ab2b2f690eb45059193a1d6f587 Using Abstract Resources to Control Reasoning
Weyhrauch, R. W. and Cadoli, M. and Talcott, C. L. - 1993

see weyhrauch-cadoli-talcott-95resource