Publication | Closed Access
The decidability of equivalence for deterministic finite transducers
29
Citations
2
References
1979
Year
EngineeringAutomated ReasoningFormal MethodsComputer ScienceDeterministic Finite TransducersDescriptional ComplexityFinite-state SystemFinite Model TheoryFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1