%0 Journal Article %1 journals/corr/abs-1103-1433 %A Goldblatt, Robert %A Jackson, Marcel %D 2011 %J CoRR %K dblp %T Well structured program equivalence is highly undecidable %U http://dblp.uni-trier.de/db/journals/corr/corr1103.html#abs-1103-1433 %V abs/1103.1433

@article{journals/corr/abs-1103-1433, added-at = {2018-08-13T00:00:00.000+0200}, author = {Goldblatt, Robert and Jackson, Marcel}, biburl = {https://www.bibsonomy.org/bibtex/24d5cadf785b5c525243eac91a1e3f5a4/dblp}, ee = {http://arxiv.org/abs/1103.1433}, interhash = {bb4ac845230e52395ffedf477020837a}, intrahash = {4d5cadf785b5c525243eac91a1e3f5a4}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T12:00:26.000+0200}, title = {Well structured program equivalence is highly undecidable}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1103.html#abs-1103-1433}, volume = {abs/1103.1433}, year = 2011 }