Article,
Alternating Tree Automata with Qualitative Semantics.
R. Berthon, N. Fijalkow, E. Filiot, S. Guha, B. Maubert, A. Murano, L. Pinault, S. Pinchinat, S. Rubin, and O. Serre.ACM Trans. Comput. Log., 22 (1): 7:1-7:24 (2021)
Meta data
- BibTeX key
- journals/tocl/BerthonFFGMMPPR21
- entry type
- article
- year
- 2021
- journal
- ACM Trans. Comput. Log.
- number
- 1
- pages
- 7:1-7:24
- volume
- 22
- ee
- https://doi.org/10.1145/3431860
- url
- http://dblp.uni-trier.de/db/journals/tocl/tocl22.html#BerthonFFGMMPPR21
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/tocl/BerthonFFGMMPPR21
%A Berthon, Raphaël
%A Fijalkow, Nathanaël
%A Filiot, Emmanuel
%A Guha, Shibashis
%A Maubert, Bastien
%A Murano, Aniello
%A Pinault, Laureline
%A Pinchinat, Sophie
%A Rubin, Sasha
%A Serre, Olivier
%D 2021
%J ACM Trans. Comput. Log.
%K dblp
%N 1
%P 7:1-7:24
%T Alternating Tree Automata with Qualitative Semantics.
%U http://dblp.uni-trier.de/db/journals/tocl/tocl22.html#BerthonFFGMMPPR21
%V 22
@article{journals/tocl/BerthonFFGMMPPR21,
added-at = {2023-06-26T00:00:00.000+0200},
author = {Berthon, Raphaël and Fijalkow, Nathanaël and Filiot, Emmanuel and Guha, Shibashis and Maubert, Bastien and Murano, Aniello and Pinault, Laureline and Pinchinat, Sophie and Rubin, Sasha and Serre, Olivier},
biburl = {https://www.bibsonomy.org/bibtex/2bab8be7355a1fc93916f48c7ca02abb8/dblp},
ee = {https://doi.org/10.1145/3431860},
interhash = {e81df7e5052953e91859783697d204b2},
intrahash = {bab8be7355a1fc93916f48c7ca02abb8},
journal = {ACM Trans. Comput. Log.},
keywords = {dblp},
number = 1,
pages = {7:1-7:24},
timestamp = {2024-04-08T12:38:36.000+0200},
title = {Alternating Tree Automata with Qualitative Semantics.},
url = {http://dblp.uni-trier.de/db/journals/tocl/tocl22.html#BerthonFFGMMPPR21},
volume = 22,
year = 2021
}