( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Weighted Automata and Quantitative Logics.

. QLSC, том 5 из World Scientific Proceedings Series on Computer Engineering and Informtion Science, World Scientific, (2012)

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.

Manfred Droste

Manfred Droste

Manfred Droste

Manfred Droste

Manfred Droste

 

Другие публикации лиц с тем же именем

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