Computational Complexity of Logical Theories

Jeanne Ferrante & Charlis W. Rackoff

Language: English

Publisher: Springer

Published: Jul 1, 1979

Description:

Ferrante, J., Rackoff, C. W.