A Medvedev Characterization of Recognizable Tree Series
Aus International Center for Computational Logic
A Medvedev Characterization of Recognizable Tree Series
Luisa HerrmannLuisa Herrmann

Luisa Herrmann
A Medvedev Characterization of Recognizable Tree Series
Developments in Language Theory, 2017
A Medvedev Characterization of Recognizable Tree Series
Developments in Language Theory, 2017
- Projekt:Project: QuantLA
- Forschungsgruppe:Research Group: Computational LogicComputational Logic
@inproceedings{H2017,
author = {Luisa Herrmann},
title = {A Medvedev Characterization of Recognizable Tree Series},
booktitle = {Developments in Language Theory},
year = {2017}
}