@inproceedings{conf/hotsos/EscobarMMS14,
  added-at = {2023-09-20T00:00:00.000+0200},
  author = {Escobar, Santiago and Meadows, Catherine and Meseguer, José and Santiago, Sonia},
  biburl = {https://www.bibsonomy.org/bibtex/252edf533b89adb72f76338e677ed79f4/dblp},
  booktitle = {HotSoS},
  crossref = {conf/hotsos/2014},
  editor = {Williams, Laurie A. and Nicol, David M. and Singh, Munindar P.},
  ee = {https://doi.org/10.1145/2600176.2600186},
  interhash = {2d06403b58c157ec7bcaaa9bb73c2ddd},
  intrahash = {52edf533b89adb72f76338e677ed79f4},
  isbn = {978-1-4503-2907-1},
  keywords = {dblp},
  pages = 3,
  publisher = {ACM},
  timestamp = {2024-04-10T22:14:51.000+0200},
  title = {A rewriting-based forwards semantics for Maude-NPA.},
  url = {http://dblp.uni-trier.de/db/conf/hotsos/hotsos2014.html#EscobarMMS14},
  year = 2014
}

{"_id":"cG2EBHcEgCRwC4rzh","bibbaseid":"escobar-meadows-meseguer-santiago-arewritingbasedforwardssemanticsformaudenpa-2014","author_short":["Escobar, S.","Meadows, C.","Meseguer, J.","Santiago, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2023-09-20T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Escobar"],"firstnames":["Santiago"],"suffixes":[]},{"propositions":[],"lastnames":["Meadows"],"firstnames":["Catherine"],"suffixes":[]},{"propositions":[],"lastnames":["Meseguer"],"firstnames":["José"],"suffixes":[]},{"propositions":[],"lastnames":["Santiago"],"firstnames":["Sonia"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/252edf533b89adb72f76338e677ed79f4/dblp","booktitle":"HotSoS","crossref":"conf/hotsos/2014","editor":[{"propositions":[],"lastnames":["Williams"],"firstnames":["Laurie","A."],"suffixes":[]},{"propositions":[],"lastnames":["Nicol"],"firstnames":["David","M."],"suffixes":[]},{"propositions":[],"lastnames":["Singh"],"firstnames":["Munindar","P."],"suffixes":[]}],"ee":"https://doi.org/10.1145/2600176.2600186","interhash":"2d06403b58c157ec7bcaaa9bb73c2ddd","intrahash":"52edf533b89adb72f76338e677ed79f4","isbn":"978-1-4503-2907-1","keywords":"dblp","pages":"3","publisher":"ACM","timestamp":"2024-04-10T22:14:51.000+0200","title":"A rewriting-based forwards semantics for Maude-NPA.","url":"http://dblp.uni-trier.de/db/conf/hotsos/hotsos2014.html#EscobarMMS14","year":"2014","bibtex":"@inproceedings{conf/hotsos/EscobarMMS14,\n added-at = {2023-09-20T00:00:00.000+0200},\n author = {Escobar, Santiago and Meadows, Catherine and Meseguer, José and Santiago, Sonia},\n biburl = {https://www.bibsonomy.org/bibtex/252edf533b89adb72f76338e677ed79f4/dblp},\n booktitle = {HotSoS},\n crossref = {conf/hotsos/2014},\n editor = {Williams, Laurie A. and Nicol, David M. and Singh, Munindar P.},\n ee = {https://doi.org/10.1145/2600176.2600186},\n interhash = {2d06403b58c157ec7bcaaa9bb73c2ddd},\n intrahash = {52edf533b89adb72f76338e677ed79f4},\n isbn = {978-1-4503-2907-1},\n keywords = {dblp},\n pages = 3,\n publisher = {ACM},\n timestamp = {2024-04-10T22:14:51.000+0200},\n title = {A rewriting-based forwards semantics for Maude-NPA.},\n url = {http://dblp.uni-trier.de/db/conf/hotsos/hotsos2014.html#EscobarMMS14},\n year = 2014\n}\n\n","author_short":["Escobar, S.","Meadows, C.","Meseguer, J.","Santiago, S."],"editor_short":["Williams, L. A.","Nicol, D. M.","Singh, M. P."],"key":"conf/hotsos/EscobarMMS14","id":"conf/hotsos/EscobarMMS14","bibbaseid":"escobar-meadows-meseguer-santiago-arewritingbasedforwardssemanticsformaudenpa-2014","role":"author","urls":{"Link":"https://doi.org/10.1145/2600176.2600186","Paper":"http://dblp.uni-trier.de/db/conf/hotsos/hotsos2014.html#EscobarMMS14"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Meadows?items=1000","dataSources":["8G4iFLj8NuzKYiymR"],"keywords":["dblp"],"search_terms":["rewriting","based","forwards","semantics","maude","npa","escobar","meadows","meseguer","santiago"],"title":"A rewriting-based forwards semantics for Maude-NPA.","year":2014}