AbstractA constructive approach to the question of proofs of algorithms is to consider proofs that an object resulting from the execution of an algorithm possesses certain static characteristics.
出版机构：Springer Netherlands
刊物名称：Bit Numerical Mathematics
出版时间：1966
ISSN：0006-3835
数据源：报刊文摘
