%0 Journal Article %1 journals/igpl/DowekGM10 %A Dowek, Gilles %A Gabbay, Murdoch James %A Mulligan, Dominic P. %D 2010 %J Log. J. IGPL %K dblp %N 6 %P 769-822 %T Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques. %U http://dblp.uni-trier.de/db/journals/igpl/igpl18.html#DowekGM10 %V 18

@article{journals/igpl/DowekGM10, added-at = {2020-10-26T00:00:00.000+0100}, author = {Dowek, Gilles and Gabbay, Murdoch James and Mulligan, Dominic P.}, biburl = {https://www.bibsonomy.org/bibtex/2c9d789e94dd9bcffdaece4ada144b111/dblp}, ee = {https://doi.org/10.1093/jigpal/jzq006}, interhash = {c3d4b1eca96dfcf534df8ddecb7a79a4}, intrahash = {c9d789e94dd9bcffdaece4ada144b111}, journal = {Log. J. IGPL}, keywords = {dblp}, number = 6, pages = {769-822}, timestamp = {2020-10-27T13:02:23.000+0100}, title = {Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl18.html#DowekGM10}, volume = 18, year = 2010 }