Évènements
Rechercher un événement
15
Oct
Fibrations of Tree Automata
Colin Riba (LIP, ENS Lyon)
We propose a notion of morphism between tree automata based on game semantics. These morphisms are winning strategies on a synchronous restriction of the linear [...]
