%0 Conference Paper %1 conf/lopstr/Ayala-RinconFSN19 %A Ayala-Rincón, Mauricio %A Fernández, Maribel %A Silva, Gabriel Ferreira %A Nantes-Sobrinho, Daniele %B LOPSTR %D 2019 %E Gabbrielli, Maurizio %I Springer %K dblp %P 123-138 %T A Certified Functional Nominal C-Unification Algorithm. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2019.html#Ayala-RinconFSN19 %V 12042 %@ 978-3-030-45260-5

@inproceedings{conf/lopstr/Ayala-RinconFSN19, added-at = {2021-04-09T00:00:00.000+0200}, author = {Ayala-Rincón, Mauricio and Fernández, Maribel and Silva, Gabriel Ferreira and Nantes-Sobrinho, Daniele}, biburl = {https://www.bibsonomy.org/bibtex/2334c56d1fc4ad21032004e744688c7a3/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2019}, editor = {Gabbrielli, Maurizio}, ee = {https://doi.org/10.1007/978-3-030-45260-5_8}, interhash = {fddbd95953562310df709bd38de73cec}, intrahash = {334c56d1fc4ad21032004e744688c7a3}, isbn = {978-3-030-45260-5}, keywords = {dblp}, pages = {123-138}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T03:26:54.000+0200}, title = {A Certified Functional Nominal C-Unification Algorithm.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2019.html#Ayala-RinconFSN19}, volume = 12042, year = 2019 }