中文:不动点归纳法
英文翻译:【计】fixpoint induction method
中文:克林不动点定理英文翻译:【计】Kleene's theorem on fixpoint...
中文:不动点理论英文翻译:【计】fixpoint theory...
中文:不动点英文翻译:【计】fixpoint...