%0 Conference Paper %1 conf/rta/CreusGG12 %A Creus, Carles %A Gascón, Adrià %A Godoy, Guillem %B RTA %D 2012 %E Tiwari, Ashish %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 149-164 %T One-context Unification with STG-Compressed Terms is in NP. %U http://dblp.uni-trier.de/db/conf/rta/rta2012.html#CreusGG12 %V 15 %@ 978-3-939897-38-5

@inproceedings{conf/rta/CreusGG12, added-at = {2018-08-23T00:00:00.000+0200}, author = {Creus, Carles and Gascón, Adrià and Godoy, Guillem}, biburl = {https://www.bibsonomy.org/bibtex/21f457b8c15d2441d3450e4664a5af757/dblp}, booktitle = {RTA}, crossref = {conf/rta/2012}, editor = {Tiwari, Ashish}, ee = {https://doi.org/10.4230/LIPIcs.RTA.2012.149}, interhash = {ec9584070e47afe5f112cf8e1a49fafe}, intrahash = {1f457b8c15d2441d3450e4664a5af757}, isbn = {978-3-939897-38-5}, keywords = {dblp}, pages = {149-164}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:50:09.000+0100}, title = {One-context Unification with STG-Compressed Terms is in NP.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta2012.html#CreusGG12}, volume = 15, year = 2012 }