A Haskell Library for Term Rewriting. Felgenhauer, B., Avanzini, M., & Sternagel, C. CoRR, 2013. Link Paper bibtex @article{journals/corr/FelgenhauerAS13,
added-at = {2018-08-13T00:00:00.000+0200},
author = {Felgenhauer, Bertram and Avanzini, Martin and Sternagel, Christian},
biburl = {https://www.bibsonomy.org/bibtex/20c2caf9dbb28513a1f20397c828b70e6/dblp},
ee = {http://arxiv.org/abs/1307.2328},
interhash = {94c76db734cc3937946a84c92fd8471c},
intrahash = {0c2caf9dbb28513a1f20397c828b70e6},
journal = {CoRR},
keywords = {dblp},
timestamp = {2018-08-14T12:06:37.000+0200},
title = {A Haskell Library for Term Rewriting.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1307.html#FelgenhauerAS13},
volume = {abs/1307.2328},
year = 2013
}
Downloads: 0
{"_id":"J7J5zXhdHYBby75LL","bibbaseid":"felgenhauer-avanzini-sternagel-ahaskelllibraryfortermrewriting-2013","authorIDs":[],"author_short":["Felgenhauer, B.","Avanzini, M.","Sternagel, C."],"bibdata":{"bibtype":"article","type":"article","added-at":"2018-08-13T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Felgenhauer"],"firstnames":["Bertram"],"suffixes":[]},{"propositions":[],"lastnames":["Avanzini"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Sternagel"],"firstnames":["Christian"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/20c2caf9dbb28513a1f20397c828b70e6/dblp","ee":"http://arxiv.org/abs/1307.2328","interhash":"94c76db734cc3937946a84c92fd8471c","intrahash":"0c2caf9dbb28513a1f20397c828b70e6","journal":"CoRR","keywords":"dblp","timestamp":"2018-08-14T12:06:37.000+0200","title":"A Haskell Library for Term Rewriting.","url":"http://dblp.uni-trier.de/db/journals/corr/corr1307.html#FelgenhauerAS13","volume":"abs/1307.2328","year":"2013","bibtex":"@article{journals/corr/FelgenhauerAS13,\n added-at = {2018-08-13T00:00:00.000+0200},\n author = {Felgenhauer, Bertram and Avanzini, Martin and Sternagel, Christian},\n biburl = {https://www.bibsonomy.org/bibtex/20c2caf9dbb28513a1f20397c828b70e6/dblp},\n ee = {http://arxiv.org/abs/1307.2328},\n interhash = {94c76db734cc3937946a84c92fd8471c},\n intrahash = {0c2caf9dbb28513a1f20397c828b70e6},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2018-08-14T12:06:37.000+0200},\n title = {A Haskell Library for Term Rewriting.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1307.html#FelgenhauerAS13},\n volume = {abs/1307.2328},\n year = 2013\n}\n\n","author_short":["Felgenhauer, B.","Avanzini, M.","Sternagel, C."],"key":"journals/corr/FelgenhauerAS13","id":"journals/corr/FelgenhauerAS13","bibbaseid":"felgenhauer-avanzini-sternagel-ahaskelllibraryfortermrewriting-2013","role":"author","urls":{"Link":"http://arxiv.org/abs/1307.2328","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1307.html#FelgenhauerAS13"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Bertram?items=1000","creationDate":"2020-08-03T18:34:52.978Z","downloads":0,"keywords":["dblp"],"search_terms":["haskell","library","term","rewriting","felgenhauer","avanzini","sternagel"],"title":"A Haskell Library for Term Rewriting.","year":2013,"dataSources":["fYGRSD8HXJYwZPaY7"]}