Logic and Machines: Decision Problems and Complexity

Author

E. Börger, G. Hasenjaeger, D. Rödding

Publisher

Springer

Subject

Computer Science

Year

1984

Vol/Edition

171

ISBN

9783540388562