%0 Journal Article %1 journals/iandc/KfouryRTU99 %A Kfoury, A. J. %A Rocca, Simona Ronchi Della %A Tiuryn, Jerzy %A Urzyczyn, Pawel %D 1999 %J Inf. Comput. %K dblp %N 1 %P 1-21 %T Alpha-Conversion and Typability. %U http://dblp.uni-trier.de/db/journals/iandc/iandc150.html#KfouryRTU99 %V 150

@article{journals/iandc/KfouryRTU99, added-at = {2011-07-06T00:00:00.000+0200}, author = {Kfoury, A. J. and Rocca, Simona Ronchi Della and Tiuryn, Jerzy and Urzyczyn, Pawel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24b5c162b34ebb41f2b8403f4633c0e9f/dblp}, ee = {http://dx.doi.org/10.1006/inco.1998.2756}, interhash = {7bcb3a31897ff6ed85f0f920d9318d93}, intrahash = {4b5c162b34ebb41f2b8403f4633c0e9f}, journal = {Inf. Comput.}, keywords = {dblp}, number = 1, pages = {1-21}, timestamp = {2016-02-02T05:35:59.000+0100}, title = {Alpha-Conversion and Typability.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc150.html#KfouryRTU99}, volume = 150, year = 1999 }