Jesús Domínguez, Maribel Fernández. Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting. In Leszek Antoni Gasieniec, Jesper Jansson, Christos Levcopoulos, editors, Fundamentals of Computation Theory - 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings. Volume 11651 of Lecture Notes in Computer Science, pages 64-79, Springer, 2019. [doi]
@inproceedings{DominguezF19,
title = {Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting},
author = {Jesús Domínguez and Maribel Fernández},
year = {2019},
doi = {10.1007/978-3-030-25027-0_5},
url = {https://doi.org/10.1007/978-3-030-25027-0_5},
researchr = {https://researchr.org/publication/DominguezF19},
cites = {0},
citedby = {0},
pages = {64-79},
booktitle = {Fundamentals of Computation Theory - 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings},
editor = {Leszek Antoni Gasieniec and Jesper Jansson and Christos Levcopoulos},
volume = {11651},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-25027-0},
}