%0 Conference Paper %1 conf/lics/CreusGGR12 %A Creus, Carles %A Gascón, Adrià %A Godoy, Guillem %A Ramos, Lander %B LICS %D 2012 %I IEEE Computer Society %K dblp %P 255-264 %T The HOM Problem is EXPTIME-Complete. %U http://dblp.uni-trier.de/db/conf/lics/lics2012.html#CreusGGR12 %@ 978-1-4673-2263-8

@inproceedings{conf/lics/CreusGGR12, added-at = {2023-03-24T00:00:00.000+0100}, author = {Creus, Carles and Gascón, Adrià and Godoy, Guillem and Ramos, Lander}, biburl = {https://www.bibsonomy.org/bibtex/2ad3bc71e425ba68a70fcec105f483ba2/dblp}, booktitle = {LICS}, crossref = {conf/lics/2012}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.2012.36}, interhash = {2b457b464623942dc4ed86a8db10d7a0}, intrahash = {ad3bc71e425ba68a70fcec105f483ba2}, isbn = {978-1-4673-2263-8}, keywords = {dblp}, pages = {255-264}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:03:14.000+0200}, title = {The HOM Problem is EXPTIME-Complete.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2012.html#CreusGGR12}, year = 2012 }