Manfred Schmidt-Schauß. Nominal Algorithms: Applications and Extensions. In Temur Kutsia, Andrew M. Marshall, editors, Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020. 2020. [doi]
@inproceedings{SchmidtSchauss20,
title = {Nominal Algorithms: Applications and Extensions},
author = {Manfred Schmidt-Schauß},
year = {2020},
url = {http://www3.risc.jku.at/publications/download/risc_6129/proceedings-UNIF2020.pdf#page=7},
researchr = {https://researchr.org/publication/SchmidtSchauss20},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020},
editor = {Temur Kutsia and Andrew M. Marshall},
}