共 16 条
[1]
ARNOLD A, 1980, MATH SYST THEORY, V13, P219
[2]
BERSTEL J, 1979, TRANSDUCTIONS CONTEX
[3]
BLOOM S, 1983, J COMPUT SYSTEM SCI, V27, P147
[5]
BUDACH L, 1975, AUTOMATON FUNKTOREN
[7]
ELGOT CC, 1975, LOGIC C 73
[8]
FLIESS M, 1972, THESIS U PARIS 7
[10]
GUESSARIAN I, 1981, LECTURE NOTES COMPUT, V99