Los puntos clave no están disponibles para este artículo en este momento.
We sketch a tentative proof of P-completeness for the -convertibility problem on untyped planar (a. k. a. ordered or non-commutative) -terms.
Das et al. (Mon,) studied this question.