Categorical Views on Computations on Trees (Extended Abstract)

DOI10.1007/978-3-540-73420-8_54zbMath1171.18300OpenAlexW2112966095MaRDI QIDQ5428844

Ichiro Hasuo, Tarmo Uustalu, Bart Jacobs

Publication date: 28 November 2007

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://research.tue.nl/nl/publications/categoral-views-on-computations-on-trees-extended-abstract(cadfb20b-3a93-437e-b4d6-4f94b5f1f137).html

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Algebraic theory of languages and automata (68Q70) Categories of machines, automata (18B20)

This page was built for publication: Categorical Views on Computations on Trees (Extended Abstract)