Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Gustav Grabolle"'
Autor:
Gustav Grabolle
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
This paper connects the classes of weighted alternating finite automata (WAFA), weighted finite tree automata (WFTA), and polynomial automata (PA). First, we investigate the use of trees in the run semantics for weighted alternating automata and pro
Externí odkaz:
https://doaj.org/article/143c0f02974d48dcb6e4c7b8aa800dd5
Autor:
Gustav Grabolle
Publikováno v:
GandALF
This paper connects the classes of weighted alternating finite automata (WAFA), weighted finite tree automata (WFTA), and polynomial automata (PA). First, we investigate the use of trees in the run semantics for weighted alternating automata and prov
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e4ac91d5d6d6440598dbc54919276654
Publikováno v:
International Journal of Foundations of Computer Science; Jan/Feb2024, Vol. 35 Issue 1/2, p145-177, 33p
Autor:
Dimitrios Poulakis, George Rahonis
This book constitutes the proceedings of the 9th International Conference on Algebraic Informatics, CAI 2022, held as virtual event, in October 27–29, 2022.The 2 abstracts, 3 full papers of invited speakers, and 12 contributed papers presented in t
This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Informatics, CAI 2019, held in Niš, Serbia, in June/July 2019. The 20 revised papers presented were carefully reviewed and selected from 35 submissions.
This book constitutes the proceedings of the 20th International Conference on Descriptional Complexity of Formal Systems, DCFS 2018, held in Halifax, NS, Canada, in July 2018. The 19 full papers presented were carefully reviewed and selected from 24