Login / Signup

A Decision Procedure for Generalized Sequential Mapability-onto of Regular Sets

Robert McNaughton
Published in: STOC (1971)
Keyphrases