Accéder directement au contenu

Olivier Serre

1
Documents
Identifiants chercheurs

Présentation

Publications

laureline-pinault
Image document

Alternating Tree Automata with Qualitative Semantics

 Raphaël Berthon , Nathanaël Fijalkow , Emmanuel Filiot , Shibashis Guha , Bastien Maubert
ACM Transactions on Computational Logic, 2020, 22 (1), ⟨10.1145/3431860⟩
Article dans une revue hal-02533936v1