Functional Interpretations of Feasibly Constructive Arithmetic (Extended Abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stephen A. Cook, Alasdair Urquhart. Functional Interpretations of Feasibly Constructive Arithmetic (Extended Abstract). In Proceedings of the Twenty-First Annual ACM Symposium on Theory of Computing, 15-17 May 1989, Seattle, Washington, USA. pages 107-112, ACM, 1989.

This author has not been identified. Look up 'Stephen A. Cook' in GoogleThis author has not been identified. Look up 'Alasdair Urquhart' in Google

runs on WebDSL