Szerző: " Droste Manfred"

Export [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Találatok száma: 3.

Droste Manfred; Fülöp Zoltán; Kószó Dávid: Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata.
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 34 (6). pp. 633-653. ISSN 0129-0541 (2023)

Droste Manfred; Fülöp Zoltán; Kószó Dávid; Vogler Heiko: Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids.
THEORETICAL COMPUTER SCIENCE, 919. pp. 118-143. ISSN 0304-3975 (2022)

Droste Manfred; Fülöp Zoltán; Kószó Dávid; Vogler Heiko: Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable.
In: Descriptional Complexity of Formal Systems: 22nd International Conference, DCFS 2020. Lecture Notes in Computer Science (12442). Springer International Publishing, Cham, pp. 39-51. (2020) ISBN 9783030625368; 9783030625351

A lista elkészítésének dátuma 2026. január 10. 06:51:00 CET.