Alternating tree automata with qualitative semantics

From MaRDI portal

DOI10.1145/3431860MaRDI QIDQ7395446zbMATH OpenFDO

Authors Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre

Publication date 2021

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3431860


Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)
















This page was built for publication: Alternating tree automata with qualitative semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7395446)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Alternating_tree_automata_with_qualitative_semantics&oldid=105759314"
Powered by MediaWiki