%0 Journal Article %1 journals/jlap/AlpuenteCEM20 %A Alpuente, María %A Cuenca-Ortega, Angel %A Escobar, Santiago %A Meseguer, José %D 2020 %J J. Log. Algebraic Methods Program. %K dblp %T A partial evaluation framework for order-sorted equational programs modulo axioms. %U http://dblp.uni-trier.de/db/journals/jlap/jlap110.html#AlpuenteCEM20 %V 110

@article{journals/jlap/AlpuenteCEM20, added-at = {2023-09-20T00:00:00.000+0200}, author = {Alpuente, María and Cuenca-Ortega, Angel and Escobar, Santiago and Meseguer, José}, biburl = {https://www.bibsonomy.org/bibtex/2ace71e20e560f974c845263404d174e6/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2019.100501}, interhash = {98be144cf9dc7071e3e4082005a3cafc}, intrahash = {ace71e20e560f974c845263404d174e6}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, timestamp = {2024-04-09T05:08:11.000+0200}, title = {A partial evaluation framework for order-sorted equational programs modulo axioms.}, url = {http://dblp.uni-trier.de/db/journals/jlap/jlap110.html#AlpuenteCEM20}, volume = 110, year = 2020 }