A Medvedev characterization of recognizable tree series

DOI10.1007/978-3-319-62809-7_15zbMATH Open1494.68178OpenAlexW2738050628MaRDI QIDQ2408804FDOQ2408804

Luisa Herrmann

Publication date: 13 October 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-62809-7_15

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70) Higher-order logic (03B16)

Cited In (4)

• Title not available (Why is that?)
• A link between multioperator and tree valuation automata and logics
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: A Medvedev characterization of recognizable tree series

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2408804)