Paper: The HOM Problem is EXPTIME-Complete (at LICS 2012)
Authors: Carles Creus Adria Gascón Guillem Godoy Lander Ramos
Abstract
No Abstract Available
BibTeX
@InProceedings{GascnGodoyRamos-TheHOMProblemisEXPT, author = {Carles Creus and Adria Gascón and Guillem Godoy and Lander Ramos}, title = {The HOM Problem is EXPTIME-Complete}, booktitle = {Proceedings of the Twenty-Seventh Annual IEEE Symposium on Logic in Computer Science (LICS 2012)}, year = {2012}, month = {June}, pages = {255--264}, location = {Dubrovnik, Croatia}, publisher = {IEEE Computer Society Press} }