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
Előnézet |
Szöveg
final-dcfs.pdf - Elfogadott verzió Download (294kB) | Előnézet |
| Szerző azonosítók: |
|
||||
|---|---|---|---|---|---|
| Mű típusa: | Könyv része | ||||
| Publikáció dátuma: | 2020 | ||||
| Szám: | 12442 | ||||
| Terjedelem: | 13 | ||||
| Oldalak: | pp. 39-51 | ||||
| ISBN: | 9783030625368; 9783030625351 | ||||
| Kiadó: | Springer International Publishing | ||||
| Kiadás helye: | Cham | ||||
| Kar/Egység: | Természettudományi és Informatikai Kar | ||||
| Intézmény: | Szegedi Tudományegyetem (2000-) | ||||
| Nyelv: | angol | ||||
| MTMT rekordazonosító: | 31669354 | ||||
| DOI azonosító: | https://doi.org/10.1007/978-3-030-62536-8_4 | ||||
| Kapcsolódó URL-ek: | |||||
| Dátum: | 2025. Már. 04. 11:09 | ||||
| Utolsó módosítás: | 2025. Már. 04. 11:09 | ||||
| URI: | http://publicatio.bibl.u-szeged.hu/id/eprint/36191 |
| Hivatkozások száma a Web of Science® -ben: 4 | Idéző cikkek megtekintése a Web of Science® felületén |
Actions (login required)
 |
Tétel nézet |
Repozitóriumi letöltési statisztika
Repozitóriumi letöltési statisztika
