Search results

Bergstra J. A. [1978] Degrees of partial recursive functions Notre Dame J. Formal Logic,, 19, № 1, 152-154 78.09.60 article Вернуться к поиску

Bergstra J. A., Tucker J. V. [1980] A characterization of computable data types by means of a finite, equational specification method Lect. Notes in Comp. Sci., 85, 76-90, Springer-Verlag 81.B2.793 article Вернуться к поиску

B Badaev S. Bailey C.G. Baker T.P. Baleva V. Baratella S. Barback J. Barendregt H. Barmpalias G. Barwise J. Basu S. Baterman P.T. Baurle F.A. Batyrshin I.I. Becker H. Behman H. Beigel R.J. Belyaev V. N. Bennison V.L. Bentzien L. Bereznyuk S. Bergstra J. A. BermanL BermanP Bernardi C. Bernays P. Berry J. Bianchini C. Bickford M. Binns S. Blacino L. Blair H. A. Blaylock R. Blum M. Bojkova E. BookR Boolos G. Boon W.W. Börger E. Borodin A. Boyd R. Brandt U. Breidbart S. BrownAB BrownDK Buchberger B. Büchi ...