%0 Journal Article %1 journals/lmcs/Ayala-RinconFN19 %A Ayala-Rincón, Mauricio %A Fernández, Maribel %A Nantes-Sobrinho, Daniele %D 2020 %J Log. Methods Comput. Sci. %K dblp %N 1 %T On Nominal Syntax and Permutation Fixed Points. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs16.html#Ayala-RinconFN19 %V 16

@article{journals/lmcs/Ayala-RinconFN19, added-at = {2021-04-09T00:00:00.000+0200}, author = {Ayala-Rincón, Mauricio and Fernández, Maribel and Nantes-Sobrinho, Daniele}, biburl = {https://www.bibsonomy.org/bibtex/26ded6f0442c25903b16d7a0332772771/dblp}, ee = {https://doi.org/10.23638/LMCS-16(1:19)2020}, interhash = {478af12b05964d63d94deacd8b10e08f}, intrahash = {6ded6f0442c25903b16d7a0332772771}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 1, timestamp = {2024-04-09T01:50:50.000+0200}, title = {On Nominal Syntax and Permutation Fixed Points.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs16.html#Ayala-RinconFN19}, volume = 16, year = 2020 }