Deciding Whether an Attributed Translation Can Be Realized by a Top-Down Transducer.

Sebastian ManethMartin Vu
Published in: CIAA (2023)