Zobrazeno 1 - 10
of 27
pro vyhledávání: '"Baumsprachen"'
Autor:
Gaißert, Marcial
Wir zeigen, dass das Beschränktheitsproblem für eine Verallgemeinerung der automata with coloring nach Bala bzw. desert automata nach Kirsten mit mehreren priorisierten Zählern und auf Bäumen in PSPACE ist. Dieses Ergebnis nutzen wir, um zu zeige
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c8877ad95bf40b2b673b455dd51fe69
Autor:
Dörband, Frederic
In this thesis, we investigate different theoretical questions concerning weighted automata models over tree-like input structures. First, we study exact and approximated determinisation and then, we turn to Kleene-like and Büchi-like characterisati
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A82195
https://tud.qucosa.de/api/qucosa%3A82195/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A82195/attachment/ATT-0/
Autor:
Harwath, Frederik
Diese Arbeit untersucht ordnungsinvariante Formeln der Logik erster Stufe (FO) und einiger ihrer Erweiterungen, sowie andere eng verwandte Konzepte der endlichen Modelltheorie. Viele Resultate der endlichen Modelltheorie nehmen an, dass Strukturen mi
Externí odkaz:
http://edoc.hu-berlin.de/18452/20379
Autor:
CATE, BALDER TEN1 btencate@ucsc.edu, SEGOUFIN, LUC2 luc.segoufin@inria.fr
Publikováno v:
Journal of the ACM. Mar2010, Vol. 57 Issue 3, p18:1-18:41. 41p. 5 Diagrams, 2 Charts.
Autor:
BLUMENSATH, ACHIM
Publikováno v:
Logical Methods in Computer Science (LMCS); 2021, Vol. 17 Issue 2, p1-60, 60p
Autor:
Bojańczyk, Mikolaj1 bojan@mimuw.edu.pl, Colcombet, Thomas2 Thomas.Colcombet@irisa.fr
Publikováno v:
SIAM Journal on Computing. 2008, Vol. 38 Issue 2, p658-701. 44p. 29 Diagrams.
Autor:
Pech, Christian
The main result of this thesis is the generalization of the Kleene-theorem to formal tree-series over commutative semirings (the Kleene theorem states the coincidence between rational and recognizable formal languages). To this end weighted tree-lang
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A24335
https://tud.qucosa.de/api/qucosa%3A24335/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A24335/attachment/ATT-0/
Autor:
Pech, Christian
The main result of this thesis is the generalization of the Kleene-theorem to formal tree-series over commutative semirings (the Kleene theorem states the coincidence between rational and recognizable formal languages). To this end weighted tree-lang
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4179::22903d269665bdc4cd677d88aa231763
https://tud.qucosa.de/id/qucosa:24335
https://tud.qucosa.de/id/qucosa:24335
Autor:
Tiede, Hans-Jörg, Kepser, Stephan
Publikováno v:
Research on Language & Computation; Mar2009, Vol. 7 Issue 1, p41-54, 14p