id ftccsdartic:oai:HAL:hal-02477397v1
record_format openpolar
spelling ftccsdartic:oai:HAL:hal-02477397v1 2023-05-15T16:44:58+02:00 Separation for dot-depth two Place, Thomas Zeitoun, Marc Laboratoire Bordelais de Recherche en Informatique (LaBRI) Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) Luca Aceto Anna Ingólfsdóttir Reykjavik, Iceland 2017 https://hal.archives-ouvertes.fr/hal-02477397 https://doi.org/10.1109/LICS.2017.8005070 en eng HAL CCSD IEEE info:eu-repo/semantics/altIdentifier/doi/10.1109/LICS.2017.8005070 hal-02477397 https://hal.archives-ouvertes.fr/hal-02477397 doi:10.1109/LICS.2017.8005070 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '17 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '17) https://hal.archives-ouvertes.fr/hal-02477397 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '17), 2017, Reykjavik, Iceland. pp.1--12, ⟨10.1109/LICS.2017.8005070⟩ [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] info:eu-repo/semantics/conferenceObject Conference papers 2017 ftccsdartic https://doi.org/10.1109/LICS.2017.8005070 2021-12-25T23:43:03Z International audience Conference Object Iceland Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe) 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 1 12
institution Open Polar
collection Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
op_collection_id ftccsdartic
language English
topic [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
spellingShingle [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Place, Thomas
Zeitoun, Marc
Separation for dot-depth two
topic_facet [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
description International audience
author2 Laboratoire Bordelais de Recherche en Informatique (LaBRI)
Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)
Luca Aceto
Anna Ingólfsdóttir
format Conference Object
author Place, Thomas
Zeitoun, Marc
author_facet Place, Thomas
Zeitoun, Marc
author_sort Place, Thomas
title Separation for dot-depth two
title_short Separation for dot-depth two
title_full Separation for dot-depth two
title_fullStr Separation for dot-depth two
title_full_unstemmed Separation for dot-depth two
title_sort separation for dot-depth two
publisher HAL CCSD
publishDate 2017
url https://hal.archives-ouvertes.fr/hal-02477397
https://doi.org/10.1109/LICS.2017.8005070
op_coverage Reykjavik, Iceland
genre Iceland
genre_facet Iceland
op_source 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '17
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '17)
https://hal.archives-ouvertes.fr/hal-02477397
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '17), 2017, Reykjavik, Iceland. pp.1--12, ⟨10.1109/LICS.2017.8005070⟩
op_relation info:eu-repo/semantics/altIdentifier/doi/10.1109/LICS.2017.8005070
hal-02477397
https://hal.archives-ouvertes.fr/hal-02477397
doi:10.1109/LICS.2017.8005070
op_doi https://doi.org/10.1109/LICS.2017.8005070
container_title 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
container_start_page 1
op_container_end_page 12
_version_ 1766035206516506624