Generalized finite automata theory with an application to a decision problem of second-order logic

Verfasser / Beitragende:
[J. Thatcher, J. Wright]
Ort, Verlag, Jahr:
1968
Enthalten in:
Mathematical systems theory, 2/1(1968-03-01), 57-81
Format:
Artikel (online)
ID: 450289184