Constable, Robert L. Constructive mathematics and automatic program writers. (English) Zbl 0255.68014 Inform. Processing 71, Proc. IFIP Congr. 71, Ljubljana, Yugoslavia 1971, 229-233 (1972). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 6 Documents MSC: 68Q25 Analysis of algorithms and problem complexity 03F99 Proof theory and constructive mathematics PDFBibTeX XML