The main work includes: (1) The proof of the termination of modular monadic slicing algorithm.

 
  • 在現有理論的基礎上,利用指稱(chēng)技術(shù)及不動(dòng)點(diǎn)理論給出終止性證明。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan