Login / Signup

Bounded Quantification and Relations Recognizable by Finite Automata.

Teuvo Laurinolli
Published in: Acta Informatica (1978)
Keyphrases