Fibrations of Tree Automata

DOI10.4230/LIPICS.TLCA.2015.302zbMath1367.68206OpenAlexW2241576821MaRDI QIDQ5277847

Colin Riba

Publication date: 12 July 2017

Full work available at URL: https://hal.archives-ouvertes.fr/hal-01261182

zbMATH Keywords

tree automatacategorical logicgame semantics

Mathematics Subject Classification ID

Applications of game theory (91A80) Algebraic theory of languages and automata (68Q70) Categorical logic, topoi (03G30) Categories of machines, automata (18B20)

Related Items (1)

Monoidal-closed categories of tree automata

This page was built for publication: Fibrations of Tree Automata