Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable

Authors
Publication date
1 January 2020
Publisher
Springer International Publishing
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      SZTE Publicatio Repozitórium - SZTE - Repository of Publications

      redirect
      oaioai:publicatio.bibl.u-szeged.h...
      Last time updated on 12/04/2025