×

zbMATH — the first resource for mathematics

First-order tree-to-tree functions. (English) Zbl 07299473
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 252-265 (2020).
MSC:
03B70 Logic in computer science
PDF BibTeX XML Cite
Full Text: DOI