Functional Interpretations of Feasibly Constructive Arithmetic (Extended Abstract)

Stephen A. Cook Alasdair Urquhart

Published in: STOC (1989)

Keyphrases

extended abstract
floating point
real time
data sets
decision trees
wide range
information systems