Swansea University, Swansea, SA2 8PP, Wales, UK;
Swansea University, Swansea, SA2 8PP, Wales, UK;
program extraction; realisability; coinduction; exact real number computation;
机译:证明,程序,流程
机译:程序,证明,过程
机译:证明,程序,流程
机译:证明,程序,流程
机译:过程理论(模型,证明系统,编程语言,程序综合,时间逻辑)。
机译:加强塞内加尔计划生育计划中的政府领导:从概念证明到两区实施的证明
机译:程序,证明,过程
机译:社会过程和定理和程序的证明(修订版)。