On decidability of recursive weighted logics
Crossref DOI link: https://doi.org/10.1007/s00500-016-2193-z
Published Online: 2016-06-06
Published Print: 2018-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Larsen, Kim G.
Mardare, Radu
Xue, Bingtian
License valid from 2016-06-06
