Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable
Elmentve itt :
| Szerzők: | |
|---|---|
| Dokumentumtípus: | Könyv része |
| Megjelent: |
Springer International Publishing
Cham
2020
|
| Sorozat: | Lecture Notes in Computer Science
Descriptional Complexity of Formal Systems: 22nd International Conference, DCFS 2020 |
| Tárgyszavak: | |
| doi: | 10.1007/978-3-030-62536-8_4 |
| mtmt: | 31669354 |
| Online Access: | http://publicatio.bibl.u-szeged.hu/36191 |
| Terjedelem/Fizikai jellemzők: | 13 39-51 |
|---|---|
| ISBN: | 9783030625368; 9783030625351 |