On the programs-as-formulas interpretation of parallel programs in peano arithmetic.评价结果

评估详情