( en | de | ru )

 

Disambiguierung von "Droste, Manfred"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable.

, , , und . DCFS, Volume 12442 von Lecture Notes in Computer Science, Seite 39-51. Springer, (2020)

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.

Manfred Droste

Manfred Droste

Manfred Droste

Manfred Droste

Manfred Droste

 

Weitere Publikationen von Autoren mit dem selben Namen

Weighted automata and weighted logics., und . Theor. Comput. Sci., 380 (1-2): 69-86 (2007)Completeness Properties of Certain Normal Subgroup Lattices.. Eur. J. Comb., 8 (2): 129-137 (1987)Weighted finite automata over hemirings., und . Theor. Comput. Sci., (2013)Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids., , , und . CoRR, (2021)The Kleene-Schützenberger Theorem for Formal Power Series in Partially Commuting Variables., und . Inf. Comput., 153 (1): 47-80 (1999)10031 Executive Summary - Quantitative Models: Expressiveness and Analysis., , , und . Quantitative Models: Expressiveness and Analysis, Volume 10031 von Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)Continuous Petri Nets and Transition Systems., und . Unifying Petri Nets, Volume 2128 von Lecture Notes in Computer Science, Seite 457-484. Springer, (2001)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)Editorial., und . Journal of Automata, Languages and Combinatorics, 8 (2): 115 (2003)Concurrency, Automata and Domains.. ICALP, Volume 443 von Lecture Notes in Computer Science, Seite 195-208. Springer, (1990)