relation: http://publicatio.bibl.u-szeged.hu/36191/
title: Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable
creator:  Droste Manfred
creator:  Fülöp Zoltán
creator:  Kószó Dávid
creator:  Vogler Heiko
subject: 01.02. Számítás- és információtudomány
publisher: Springer International Publishing
date: 2020
type: Könyv része
type: NonPeerReviewed
format: text
identifier: http://publicatio.bibl.u-szeged.hu/36191/1/final-dcfs.pdf
identifier:     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     
identifier: doi:10.1007/978-3-030-62536-8_4
relation: https://doi.org/10.1007/978-3-030-62536-8_4
relation: 31669354
language: eng