English translation for "形式系统相容性"

consistency proof

Related Translations:

相容核:  consistent kernel

相容极限:  compatibility limit

相容群:  compatibility groupcompatibilizer

相容段:  inclusive segments

相容事件:  compatible events

输入相容:  input compatible

相容逼近:  consistent approximation

相容关系:  compatibility relationship

相容计算机:  compatible computercompatiblecomputer

输出相容:  output compatible

Similar Words：

"形式无限和" English translation, "形式系统" English translation, "形式系统的不完全性" English translation, "形式系统的算术化" English translation, "形式系统算术化" English translation, "形式下界" English translation, "形式下推自动机" English translation, "形式限定评审" English translation, "形式相似意义不同" English translation, "形式项, 格式项" English translation