...
机译:证明相对于递归嵌套条件的图程序的正确性
机译:Wu方法在证明递归程序完全正确性中的应用
机译:WUΔS方法在证明递归程序总体正确性的应用
机译:相对于嵌套条件的高级转换系统的正确性
机译:相对于HR +条件的图形程序的正确性
机译:证明堆操作程序正确性的自动技术。
机译:液相色谱的全球相对定量–基质辅助激光解吸电离飞行时间(LC-MALDI-TOF)– LTQ-Orbitrap的交叉验证证明了可靠性并揭示了互补的电离偏好
机译:证明相互递归程序的部分正确性和终止