Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Amazigh, Amrane"'
Autor:
Amazigh, Amrane, Bedon, Nicolas
Publikováno v:
Developments in Language Theory
In this paper we consider two classes of posets labeled over an alphabet A. The class \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::3dd0d77acfeaacdbbfbdbe864e57afdc
http://europepmc.org/articles/PMC7247904
http://europepmc.org/articles/PMC7247904
Autor:
Amazigh Amrane, Nicolas Bedon
Publikováno v:
Proceedings of LATA 2019
Proceedings of LATA 2019, pp.275-287, 2019, ⟨10.1007/978-3-030-13435-8_20⟩
Language and Automata Theory and Applications ISBN: 9783030134341
LATA
Proceedings of LATA 2019, pp.275-287, 2019, ⟨10.1007/978-3-030-13435-8_20⟩
Language and Automata Theory and Applications ISBN: 9783030134341
LATA
We show that an extension of MSO with Presburger arithmetic, named P-MSO, is as expressive as branching automata over scattered and countable N-free posets. As a consequence of the effectiveness of the constructions from one formalism to the other, t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5b50799d1fbe6e41fc786608b9c3f972
https://hal.archives-ouvertes.fr/hal-02090421
https://hal.archives-ouvertes.fr/hal-02090421
