DMCA

Monadic second-order unification is NP-complete (2006)

by Jordi Levy , Manfred Schmidt-Schauß , Mateu Villaret
Citations:12 - 9 self