Article,

Decomposing Finite-Valued Transducers and Deciding Their Equivalence.

.
SIAM J. Comput., 22 (1): 175-202 (1993)

Meta data

Tags

Users

  • @dblp

Comments and Reviews