%0 Journal Article %1 journals/tcs/Ayala-RinconSFN19 %A Ayala-Rincón, Mauricio %A de Carvalho Segundo, Washington %A Fernández, Maribel %A Nantes-Sobrinho, Daniele %A Oliveira, Ana Cristina Rocha %D 2019 %J Theor. Comput. Sci. %K dblp %P 3-23 %T A formalisation of nominal α-equivalence with A, C, and AC function symbols. %U http://dblp.uni-trier.de/db/journals/tcs/tcs781.html#Ayala-RinconSFN19 %V 781

@article{journals/tcs/Ayala-RinconSFN19, added-at = {2021-04-09T00:00:00.000+0200}, author = {Ayala-Rincón, Mauricio and de Carvalho Segundo, Washington and Fernández, Maribel and Nantes-Sobrinho, Daniele and Oliveira, Ana Cristina Rocha}, biburl = {https://www.bibsonomy.org/bibtex/24d29be09d542759603c94d8c51e00ded/dblp}, ee = {https://doi.org/10.1016/j.tcs.2019.02.020}, interhash = {eb045967bfa03cbee1da1b1cfc49b3b6}, intrahash = {4d29be09d542759603c94d8c51e00ded}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {3-23}, timestamp = {2024-04-08T18:48:46.000+0200}, title = {A formalisation of nominal α-equivalence with A, C, and AC function symbols.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs781.html#Ayala-RinconSFN19}, volume = 781, year = 2019 }