The HOM Problem is EXPTIME-Complete

Carles Creus, Adria Gascón, Guillem Godoy, Lander Ramos. The HOM Problem is EXPTIME-Complete. In Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012. pages 255-264, IEEE, 2012. [doi]

Authors

Carles Creus

This author has not been identified. Look up 'Carles Creus' in Google

Adria Gascón

This author has not been identified. Look up 'Adria Gascón' in Google

Guillem Godoy

This author has not been identified. Look up 'Guillem Godoy' in Google

Lander Ramos

This author has not been identified. Look up 'Lander Ramos' in Google