Login / Signup

A Decision Procedure for Computations of Finite Automata.

Joyce Friedman
Published in: J. ACM (1962)
Keyphrases