%0 Journal Article %1 journals/jlap/DuranEEMMRT20 %A Durán, Francisco %A Eker, Steven %A Escobar, Santiago %A Martí-Oliet, Narciso %A Meseguer, José %A Rubio, Rubén %A Talcott, Carolyn L. %D 2020 %J J. Log. Algebraic Methods Program. %K dblp %T Programming and symbolic computation in Maude. %U http://dblp.uni-trier.de/db/journals/jlap/jlap110.html#DuranEEMMRT20 %V 110

@article{journals/jlap/DuranEEMMRT20, added-at = {2023-09-20T00:00:00.000+0200}, author = {Durán, Francisco and Eker, Steven and Escobar, Santiago and Martí-Oliet, Narciso and Meseguer, José and Rubio, Rubén and Talcott, Carolyn L.}, biburl = {https://www.bibsonomy.org/bibtex/2eac22139742e2f41ef004863f40691c7/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2019.100497}, interhash = {a86e7c8f9dffcffcb8deac21f4b2c494}, intrahash = {eac22139742e2f41ef004863f40691c7}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, timestamp = {2024-04-09T05:08:11.000+0200}, title = {Programming and symbolic computation in Maude.}, url = {http://dblp.uni-trier.de/db/journals/jlap/jlap110.html#DuranEEMMRT20}, volume = 110, year = 2020 }