A Medvedev Characterization of Recognizable Tree Series

Luisa HerrmannLuisa Herrmann

Luisa Herrmann
A Medvedev Characterization of Recognizable Tree Series
Developments in Language Theory, 210-221, 2017. Springer

Details
Bibtex

Projekt:Project: QuantLA
Forschungsgruppe:Research Group: Computational LogicComputational Logic

The final publication is available at Springer.

@inproceedings{H2017,
  author    = {Luisa Herrmann},
  title     = {A Medvedev Characterization of Recognizable Tree Series},
  booktitle = {Developments in Language Theory},
  publisher = {Springer},
  year      = {2017},
  pages     = {210-221}
}