%0 Journal Article %1 journals/tcs/Gabbay09 %A Gabbay, Murdoch James %D 2009 %J Theor. Comput. Sci. %K dblp %N 12-13 %P 1159-1189 %T A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets. %U http://dblp.uni-trier.de/db/journals/tcs/tcs410.html#Gabbay09 %V 410

@article{journals/tcs/Gabbay09, added-at = {2021-02-17T00:00:00.000+0100}, author = {Gabbay, Murdoch James}, biburl = {https://www.bibsonomy.org/bibtex/2099cbc66c42d6e0859b966a7f0511adb/dblp}, ee = {https://doi.org/10.1016/j.tcs.2008.11.013}, interhash = {a792d1ceb95fc2ea8e4188339f9f56c4}, intrahash = {099cbc66c42d6e0859b966a7f0511adb}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {12-13}, pages = {1159-1189}, timestamp = {2024-04-08T18:40:14.000+0200}, title = {A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs410.html#Gabbay09}, volume = 410, year = 2009 }