Sign in

Equivalence Checking Problem for Finite State Transducers over Semigroups.

Vladimir A. Zakharov
Published in: CAI (2015)
Keyphrases