仮想アーベル群における効率的な方程式解決、制約条件、および成長

本論文では、仮想アーベル群において、長さ制約、アーベル化制約、コンテキストフリー制約、語順制約などを課した方程式の可解性を効果的に決定できることを示す。