Pair, C. Calculs, ensembles de calculs, équivalence de programmes. (French) Zbl 0336.68034 Symp. Math. 15, Inf. teor., Strutt. Corpi algebr., Convegni 1973, 35-53 (1975). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 68Q45 Formal languages and automata 68N01 General topics in the theory of software PDF BibTeX XML OpenURL