MAX+(k)中公式改名的多项式时间可判定性
MAX+(k)중공식개명적다항식시간가판정성
Polynomial Decidability of Renaming for Formulas in MAX+ (k)
저자의 최근 논문