%0 Conference Paper %1 conf/pepm/DuranLMMU04 %A Durán, Francisco %A Lucas, Salvador %A Meseguer, José %A Marché, Claude %A Urbain, Xavier %B PEPM %D 2004 %E Heintze, Nevin %E Sestoft, Peter %I ACM %K dblp %P 147-158 %T Proving termination of membership equational programs. %U http://dblp.uni-trier.de/db/conf/pepm/pepm2004.html#DuranLMMU04 %@ 1-58113-835-0

@inproceedings{conf/pepm/DuranLMMU04, added-at = {2023-09-20T00:00:00.000+0200}, author = {Durán, Francisco and Lucas, Salvador and Meseguer, José and Marché, Claude and Urbain, Xavier}, biburl = {https://www.bibsonomy.org/bibtex/229f82d623f57af3c16aca4e2de927cb2/dblp}, booktitle = {PEPM}, crossref = {conf/pepm/2004}, editor = {Heintze, Nevin and Sestoft, Peter}, ee = {https://doi.org/10.1145/1014007.1014022}, interhash = {9d59de602c7d3801e3be1a5cc4af4767}, intrahash = {29f82d623f57af3c16aca4e2de927cb2}, isbn = {1-58113-835-0}, keywords = {dblp}, pages = {147-158}, publisher = {ACM}, timestamp = {2024-04-10T12:21:27.000+0200}, title = {Proving termination of membership equational programs.}, url = {http://dblp.uni-trier.de/db/conf/pepm/pepm2004.html#DuranLMMU04}, year = 2004 }