%0 Conference Paper %1 conf/ppdp/CirsteaM19 %A Cirstea, Horatiu %A Moreau, Pierre-Etienne %B PPDP %D 2019 %E Komendantskaya, Ekaterina %I ACM %K dblp %P 8:1-8:12 %T Generic Encodings of Constructor Rewriting Systems. %U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2019.html#CirsteaM19 %@ 978-1-4503-7249-7

@inproceedings{conf/ppdp/CirsteaM19, added-at = {2019-09-26T00:00:00.000+0200}, author = {Cirstea, Horatiu and Moreau, Pierre-Etienne}, biburl = {https://www.bibsonomy.org/bibtex/28ae6166bfe08fa87b713048bf1ec468c/dblp}, booktitle = {PPDP}, crossref = {conf/ppdp/2019}, editor = {Komendantskaya, Ekaterina}, ee = {https://doi.org/10.1145/3354166.3354173}, interhash = {18ded579cb0cbe8cabd4f0131c14fd1f}, intrahash = {8ae6166bfe08fa87b713048bf1ec468c}, isbn = {978-1-4503-7249-7}, keywords = {dblp}, pages = {8:1-8:12}, publisher = {ACM}, timestamp = {2019-09-27T11:39:01.000+0200}, title = {Generic Encodings of Constructor Rewriting Systems.}, url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2019.html#CirsteaM19}, year = 2019 }