Crisp-determinization of weighted tree automata over strong bimonoids

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
FachzeitschriftDiscrete Mathematics and Theoretical Computer Science
Jahrgang23
Ausgabenummer1
PublikationsstatusVeröffentlicht - 2021
Peer-Review-StatusJa

Externe IDs

Scopus 85111223217

Schlagworte

Schlagwörter

  • weighted tree automata, strong bimonoids, crisp-determinization, determinization