%0 Conference Paper %1 conf/rta/LevySV04 %A Levy, Jordi %A Schmidt-Schauß, Manfred %A Villaret, Mateu %B RTA %D 2004 %E van Oostrom, Vincent %I Springer %K dblp %P 55-69 %T Monadic Second-Order Unification Is NP-Complete. %U http://dblp.uni-trier.de/db/conf/rta/rta2004.html#LevySV04 %V 3091 %@ 3-540-22153-0

@inproceedings{conf/rta/LevySV04, added-at = {2017-05-23T00:00:00.000+0200}, author = {Levy, Jordi and Schmidt-Schauß, Manfred and Villaret, Mateu}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/239965a6d3786bc96201477bf07c3ef2c/dblp}, booktitle = {RTA}, crossref = {conf/rta/2004}, editor = {van Oostrom, Vincent}, ee = {https://doi.org/10.1007/978-3-540-25979-4_4}, interhash = {196df14c6ae172d8e7adbccabcfc96b6}, intrahash = {39965a6d3786bc96201477bf07c3ef2c}, isbn = {3-540-22153-0}, keywords = {dblp}, pages = {55-69}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:30:32.000+0200}, title = {Monadic Second-Order Unification Is NP-Complete.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta2004.html#LevySV04}, volume = 3091, year = 2004 }