Separation for dot-depth two
International audience
Published in: | 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
---|---|
Main Authors: | , |
Other Authors: | , , , |
Format: | Conference Object |
Language: | English |
Published: |
HAL CCSD
2017
|
Subjects: | |
Online Access: | https://hal.archives-ouvertes.fr/hal-02477397 https://doi.org/10.1109/LICS.2017.8005070 |
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 |