( en | de | ru )

 

Disambiguierung von "Meinecke, Ingmar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics.

, , , und . Algebraic Foundations in Computer Science, Volume 7020 von Lecture Notes in Computer Science, Seite 30-55. Springer, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ingmar Meinecke

Ingmar Meinecke

Linda Meinecke

Robert Meinecke

Wilhelm Meinecke

 

Weitere Publikationen von Autoren mit dem selben Namen

Von konkreten Bereichen zu konkreten Datenstrukturen. Technische Universität Dresden, Institut für Algebra, Diplomarbeit, (2000)Weighted automata and weighted MSO logics for average and long-time behaviors., und . Inf. Comput., (2012)A Cascade Decomposition of Weighted Finite Transition Systems., , , und . Developments in Language Theory, Volume 6795 von Lecture Notes in Computer Science, Seite 472-473. Springer, (2011)Weighted branching automata combining concurrence and weights. TU Dresden, (2004)A Weighted µ-Calculus on Words.. Developments in Language Theory, Volume 5583 von Lecture Notes in Computer Science, Seite 384-395. Springer, (2009)Regular Expressions on Average and in the Long Run., und . CIAA, Volume 6482 von Lecture Notes in Computer Science, Seite 211-221. Springer, (2010)Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics., , , und . Algebraic Foundations in Computer Science, Volume 7020 von Lecture Notes in Computer Science, Seite 30-55. Springer, (2011)Valuations of Weighted Automata: Doing It in a Rational Way.. Algebraic Foundations in Computer Science, Volume 7020 von Lecture Notes in Computer Science, Seite 309-346. Springer, (2011)Describing Average- and Longtime-Behavior by Weighted MSO Logics., und . MFCS, Volume 6281 von Lecture Notes in Computer Science, Seite 537-548. Springer, (2010)On minimal event and concrete data structures, , und . Domain Theory, Logic and Computations, (2003)