First-order tree-to-tree functions

DOI10.1145/3373718.3394785zbMath1498.03066arXiv2002.09307OpenAlexW3030783154MaRDI QIDQ5145635

Mikołaj Bojańczyk, Amina Doumane

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2002.09307

zbMATH Keywords

automatafirst-order logicmonadic second-order logictree transducer

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Classical first-order logic (03B10) Higher-order logic (03B16)

This page was built for publication: First-order tree-to-tree functions