Inproceedings3310: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Luisa Herrmann (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Luisa Herrmann (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
Zeile 12: | Zeile 12: | ||
|Publisher=Springer | |Publisher=Springer | ||
|Editor=Émilie Charlier, Julien Leroy, Michel Rigo | |Editor=Émilie Charlier, Julien Leroy, Michel Rigo | ||
|Series=Lecture Notes in Computer Science | |||
|Volume=10396 | |||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|DOI Name=https://doi.org/10.1007/978-3-319-62809-7_15 | |||
|Projekt=QuantLA | |Projekt=QuantLA | ||
|Forschungsgruppe=Computational Logic | |Forschungsgruppe=Computational Logic | ||
}} | }} |
Version vom 11. April 2022, 14:11 Uhr
A Medvedev Characterization of Recognizable Tree Series
Luisa HerrmannLuisa Herrmann
Luisa Herrmann
A Medvedev Characterization of Recognizable Tree Series
In Émilie Charlier, Julien Leroy, Michel Rigo, eds., Developments in Language Theory, volume 10396 of Lecture Notes in Computer Science, 210-221, 2017. Springer
A Medvedev Characterization of Recognizable Tree Series
In Émilie Charlier, Julien Leroy, Michel Rigo, eds., Developments in Language Theory, volume 10396 of Lecture Notes in Computer Science, 210-221, 2017. Springer
- Projekt:Project: QuantLA
- Forschungsgruppe:Research Group: Computational LogicComputational Logic
@inproceedings{H2017,
author = {Luisa Herrmann},
title = {A Medvedev Characterization of Recognizable Tree Series},
editor = {{\'{E}}milie Charlier and Julien Leroy and Michel Rigo},
booktitle = {Developments in Language Theory},
series = {Lecture Notes in Computer Science},
volume = {10396},
publisher = {Springer},
year = {2017},
pages = {210-221},
doi = {https://doi.org/10.1007/978-3-319-62809-7_15}
}