A Decision Procedure for Computations of Finite Automata

Joyce Friedman. A Decision Procedure for Computations of Finite Automata. Journal of the ACM, 9(3):315-323, 1962. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.