D ec 2 02 0 Alternating Tree Automata with alitative Semantics
semanticscholar（2020）
Abstract
RAPHAËL BERTHON, Université libre de Bruxelles, Belgium NATHANAËL FIJALKOW, CNRS & LaBRI, France EMMANUEL FILIOT, Université libre de Bruxelles, Belgium SHIBASHIS GUHA, Université libre de Bruxelles, Belgium BASTIEN MAUBERT, Università degli Studi di Napoli “Federico II”, Italy ANIELLO MURANO, Università degli Studi di Napoli “Federico II”, Italy LAURELINE PINAULT, Univ Lyon, CNRS, ENS de Lyon, UCB Lyon 1, LIP, France SOPHIE PINCHINAT, Univ Rennes, CNRS, IRISA, France SASHA RUBIN, University of Sydney, Australia OLIVIER SERRE, Université de Paris, IRIF, CNRS, France
MoreTranslated text
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined