×

Algorithmes d’équivalence et de reduction à des expressions minimales dans une classe d’équations recursive simples. (French) Zbl 0285.68022

Automata, Languages, Progr.; 2nd Colloqu., Univ. Saarbrücken, Lecture Notes Computer Sci. 14, 200-213 (1974).

MSC:

68Q25 Analysis of algorithms and problem complexity
68Q45 Formal languages and automata
68N01 General topics in the theory of software