ATR
他の言語
- 算术超限递归
- 算術超限遞迴
- Arithmetical Transfinite Recursion
- Récursion arithmétique hors limite
- Recursión aritmética
- Recurso Aritmético da Transfinite
- арифметическая избыточная рекурсия
- الحساب العودية
- Arithmetische Transfinite Rekursion
- 算術的な有限変換
- 산술 한도 초과 귀환
- เลขคณิตเกินซ้ำ