TY  - RPRT
TI  - Weighted Tree Automata with Constraints
AU  - Andreas Maletti
AU  - Andreea-Teodora Nász
PY  - 2023
UR  - https://arxiv.org/abs/2302.03434
ID  - 2302.03434
ER  -