Nominal rewriting with name generation: abstraction vs. locality. Fernández, M. & Gabbay, M. In Barahona, P. & Felty, A. P., editors, Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal, pages 47–58, 2005. ACM. Paper doi bibtex @inproceedings{DBLP:conf/ppdp/FernandezG05,
author = {Maribel Fern{\'{a}}ndez and
Murdoch Gabbay},
editor = {Pedro Barahona and
Amy P. Felty},
title = {Nominal rewriting with name generation: abstraction vs. locality},
booktitle = {Proceedings of the 7th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 11-13 2005,
Lisbon, Portugal},
pages = {47--58},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1069774.1069779},
doi = {10.1145/1069774.1069779},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/FernandezG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"DJWv9J6ye7FQtip2u","bibbaseid":"fernndez-gabbay-nominalrewritingwithnamegenerationabstractionvslocality-2005","authorIDs":[],"author_short":["Fernández, M.","Gabbay, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Maribel"],"propositions":[],"lastnames":["Fernández"],"suffixes":[]},{"firstnames":["Murdoch"],"propositions":[],"lastnames":["Gabbay"],"suffixes":[]}],"editor":[{"firstnames":["Pedro"],"propositions":[],"lastnames":["Barahona"],"suffixes":[]},{"firstnames":["Amy","P."],"propositions":[],"lastnames":["Felty"],"suffixes":[]}],"title":"Nominal rewriting with name generation: abstraction vs. locality","booktitle":"Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal","pages":"47–58","publisher":"ACM","year":"2005","url":"https://doi.org/10.1145/1069774.1069779","doi":"10.1145/1069774.1069779","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/ppdp/FernandezG05.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ppdp/FernandezG05,\n author = {Maribel Fern{\\'{a}}ndez and\n Murdoch Gabbay},\n editor = {Pedro Barahona and\n Amy P. Felty},\n title = {Nominal rewriting with name generation: abstraction vs. locality},\n booktitle = {Proceedings of the 7th International {ACM} {SIGPLAN} Conference on\n Principles and Practice of Declarative Programming, July 11-13 2005,\n Lisbon, Portugal},\n pages = {47--58},\n publisher = {{ACM}},\n year = {2005},\n url = {https://doi.org/10.1145/1069774.1069779},\n doi = {10.1145/1069774.1069779},\n timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/ppdp/FernandezG05.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fernández, M.","Gabbay, M."],"editor_short":["Barahona, P.","Felty, A. P."],"key":"DBLP:conf/ppdp/FernandezG05","id":"DBLP:conf/ppdp/FernandezG05","bibbaseid":"fernndez-gabbay-nominalrewritingwithnamegenerationabstractionvslocality-2005","role":"author","urls":{"Paper":"https://doi.org/10.1145/1069774.1069779"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/g/MurdochGabbay.bib","creationDate":"2020-07-27T05:55:34.383Z","downloads":0,"keywords":[],"search_terms":["nominal","rewriting","name","generation","abstraction","locality","fernández","gabbay"],"title":"Nominal rewriting with name generation: abstraction vs. locality","year":2005,"dataSources":["8fz3gw22LB3CpDrfB"]}