Login / Signup

The HOM Problem is EXPTIME-Complete.

Carles CreusAdrià GascónGuillem GodoyLander Ramos
Published in: LICS (2012)
Keyphrases