Nominal rewriting systems. Fernández, M., Gabbay, M., & Mackie, I. In Moggi, E. & Warren, D. S., editors, Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy, pages 108–119, 2004. ACM. Paper doi bibtex @inproceedings{DBLP:conf/ppdp/FernandezGM04,
author = {Maribel Fern{\'{a}}ndez and
Murdoch Gabbay and
Ian Mackie},
editor = {Eugenio Moggi and
David Scott Warren},
title = {Nominal rewriting systems},
booktitle = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 24-26 August 2004,
Verona, Italy},
pages = {108--119},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1013963.1013978},
doi = {10.1145/1013963.1013978},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/FernandezGM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"emAZr4QYFgJjvGjS3","bibbaseid":"fernndez-gabbay-mackie-nominalrewritingsystems-2004","authorIDs":[],"author_short":["Fernández, M.","Gabbay, M.","Mackie, I."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Maribel"],"propositions":[],"lastnames":["Fernández"],"suffixes":[]},{"firstnames":["Murdoch"],"propositions":[],"lastnames":["Gabbay"],"suffixes":[]},{"firstnames":["Ian"],"propositions":[],"lastnames":["Mackie"],"suffixes":[]}],"editor":[{"firstnames":["Eugenio"],"propositions":[],"lastnames":["Moggi"],"suffixes":[]},{"firstnames":["David","Scott"],"propositions":[],"lastnames":["Warren"],"suffixes":[]}],"title":"Nominal rewriting systems","booktitle":"Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy","pages":"108–119","publisher":"ACM","year":"2004","url":"https://doi.org/10.1145/1013963.1013978","doi":"10.1145/1013963.1013978","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/ppdp/FernandezGM04.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ppdp/FernandezGM04,\n author = {Maribel Fern{\\'{a}}ndez and\n Murdoch Gabbay and\n Ian Mackie},\n editor = {Eugenio Moggi and\n David Scott Warren},\n title = {Nominal rewriting systems},\n booktitle = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on\n Principles and Practice of Declarative Programming, 24-26 August 2004,\n Verona, Italy},\n pages = {108--119},\n publisher = {{ACM}},\n year = {2004},\n url = {https://doi.org/10.1145/1013963.1013978},\n doi = {10.1145/1013963.1013978},\n timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/ppdp/FernandezGM04.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fernández, M.","Gabbay, M.","Mackie, I."],"editor_short":["Moggi, E.","Warren, D. S."],"key":"DBLP:conf/ppdp/FernandezGM04","id":"DBLP:conf/ppdp/FernandezGM04","bibbaseid":"fernndez-gabbay-mackie-nominalrewritingsystems-2004","role":"author","urls":{"Paper":"https://doi.org/10.1145/1013963.1013978"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/g/MurdochGabbay.bib","creationDate":"2020-07-27T05:55:34.384Z","downloads":0,"keywords":[],"search_terms":["nominal","rewriting","systems","fernández","gabbay","mackie"],"title":"Nominal rewriting systems","year":2004,"dataSources":["8fz3gw22LB3CpDrfB"]}