Pages that link to "Item:Q913523"

The following pages link to New techniques for proving the decidability of equivalence problem (Q913523):

Displaying 2 items.

• On the lengths of values in a finite transducer (Q1323379) (← links)
• Decomposing a $k$-valued transducer into $k$ unambiguous ones (Q3126010) (← links)