Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Baumsprachen"'
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