( en | de | ru )

 

Disambiguation of "Droste, Manfred"

Author of the publication

copydeleteadd this publication to your clipboard
10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis.

, , , and . Quantitative Models: Expressiveness and Analysis, volume 10031 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Manfred Droste

Manfred Droste

Manfred Droste

Manfred Droste

Manfred Droste

 

Other publications of authors with the same name

A Nivat Theorem for Quantitative Automata on Unranked Trees., and . Models, Algorithms, Logics and Tools, volume 10460 of Lecture Notes in Computer Science, page 22-35. Springer, (2017)Normal Subgroups of B u Aut(Omega)., and . Appl. Categorical Struct., 15 (1-2): 153-162 (2007)Determinization of weighted finite automata over strong bimonoids., , , and . Inf. Sci., 180 (18): 3497-3520 (2010)Weighted automata and multi-valued logics over arbitrary bounded lattices., and . Theor. Comput. Sci., (2012)On Stable Domains.. Theor. Comput. Sci., 111 (1&2): 89-101 (1993)Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices., and . Developments in Language Theory, volume 6224 of Lecture Notes in Computer Science, page 160-172. Springer, (2010)Universal Domains and the Amalgamation Property., and . Math. Struct. Comput. Sci., 3 (2): 137-159 (1993)Preface., , and . Theor. Comput. Sci., (2019)Multi-weighted Automata and MSO Logic., and . Theory Comput. Syst., 59 (2): 231-261 (2016)The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages, and . CoRR, (2012)