%0 Conference Paper %1 journals/entcs/ClavelELM96 %A Clavel, Manuel %A Eker, Steven %A Lincoln, Patrick %A Meseguer, José %B WRLA %D 1996 %E Meseguer, José %I Elsevier %K dblp %P 65-89 %T Principles of Maude. %U http://dblp.uni-trier.de/db/journals/entcs/entcs4.html#ClavelELM96 %V 4

@inproceedings{journals/entcs/ClavelELM96, added-at = {2023-09-20T00:00:00.000+0200}, author = {Clavel, Manuel and Eker, Steven and Lincoln, Patrick and Meseguer, José}, biburl = {https://www.bibsonomy.org/bibtex/26f627420afcc4f6c369d32e5c8087664/dblp}, booktitle = {WRLA}, crossref = {conf/wrla/1996}, editor = {Meseguer, José}, ee = {https://doi.org/10.1016/S1571-0661(04)00034-9}, interhash = {e771f1f68d18e35f753143a2104dcc04}, intrahash = {6f627420afcc4f6c369d32e5c8087664}, keywords = {dblp}, pages = {65-89}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T23:58:09.000+0200}, title = {Principles of Maude.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs4.html#ClavelELM96}, volume = 4, year = 1996 }