%0 Journal Article %1 journals/iandc/LevyV00 %A Levy, Jordi %A Veanes, Margus %D 2000 %J Inf. Comput. %K dblp %N 1-2 %P 125-150 %T On the Undecidability of Second-Order Unification. %U http://dblp.uni-trier.de/db/journals/iandc/iandc159.html#LevyV00 %V 159

@article{journals/iandc/LevyV00, added-at = {2021-02-12T00:00:00.000+0100}, author = {Levy, Jordi and Veanes, Margus}, biburl = {https://www.bibsonomy.org/bibtex/2067f2254724a9a7aafa933b153964c4f/dblp}, ee = {https://doi.org/10.1006/inco.2000.2877}, interhash = {22cda1c55f801994155794948aecadd8}, intrahash = {067f2254724a9a7aafa933b153964c4f}, journal = {Inf. Comput.}, keywords = {dblp}, number = {1-2}, pages = {125-150}, timestamp = {2024-04-09T06:08:58.000+0200}, title = {On the Undecidability of Second-Order Unification.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc159.html#LevyV00}, volume = 159, year = 2000 }