Reviews
J. W. Thatcher and J. B. Wright. Generalized finite automata theory with an application to a decision problem of second-order logic. Mathematical systems theory, vol. 2 (1968), pp. 57–81.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 619-620
-
- Article
- Export citation
M. A. Spivak. Algoritm abstraktnogo sintéza avtomatov dla rasširènnogo ázyka régulàrnyh vyražénij. Izvéstiá Akadémii Nauk SSSR, téhničéskaá kibérnétika, no. 1 (1965), pp. 51–57. - M. A. Spivak. Algorithm for abstract synthesis of automata for an expanded language of regular expressions. English translation of the preceding. Engineering cybernetics, no. 1 (1965), pp. 43–49.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 620
-
- Article
- Export citation
A. J. Perlis and K. Samelson. Appendix two: Preliminary report of ACM-GAMM Committee on an International Algebraic Language. Annual review in automatic programming, Volume I, Papers read at the Working Conference on Automatic Programming of Digital Computers held at Brighton, 1–3 April 1959, edited by Richard Goodman, Pergamon Press, New York-Oxford-London-Paris1960, pp. 268–290. (Reprinted from Communications of the Association for Computing Machinery, vol. 1 no. 12 (1958), pp. 8–22.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 620-622
-
- Article
- Export citation
J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur (editor), A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Report on the algorithmic language ALGOL 60. Numerische Mathematik, vol. 2 (1960), pp. 106–136; also Communications of the Association for Computing Machinery, vol. 3 (1960), pp. 299–314.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 622-623
-
- Article
- Export citation
J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Revised report on the algorithmic language ALGOL 60. Numerische Mathematik, vol. 4 (1962–1963), pp. 420–453; also ibid., vol. 6 (1963), pp. 1–17; and The computer journal, vol. 5 no. 4 (1963), pp. 349–367.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 623-624
-
- Article
- Export citation
J. Hartmanis, P. M. LewisII, and R. E. Stearns. Classifications of computations by time and memory requirements. Information processing 1965, Proceedings of IFIP Congress 65, organized by the International Federation for Information Processing, New York City, May 24–29,1965, Volume 1, edited by Wayne A. Kalenich, Spartan Books, Inc., Washington, D.C., and Macmillan and Co., Ltd., London, 1965, pp. 31–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 624
-
- Article
- Export citation
R. E. Stearns, J. Hartmanis, and P. M. LewisII. Hierarchies of memory limited computations. Sixth Annual Symposium on Switching Circuit Theory and Logical Design, University of Michigan, Ann Arbor, Mich., The Institute of Electrical and Electronics Engineers, Inc., New York 1965, pp. 179–190.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 624-625
-
- Article
- Export citation
P. M. LewisII, R. E. Stearns, and J. Hartmanis. Memory bounds for recognition of context-free and context-sensitive languages. Sixth Annual Symposium on Switching Circuit Theory and Logical Design, University of Michigan, Ann Arbor, Mich., The Institute of Electrical and Electronics Engineers, Inc., New York 1965, pp. 191–202. See Errata, ibid., p. 190.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 625
-
- Article
- Export citation
Marc A. Aiserman, Leonid A. Gusev, Lev I. Rozonoer, Irina M. Smirnova, and Aleksey A. Tal. Logic, automata, and algorithms. Revised English translation of XXXI 109 by Scripta Technica, Inc., George M. Kranc, translation editor. Academic Press, New York and London1971, xii + 433 pp. - Mark Aronowitsch Aiserman, L. A. Gussew, L. I. Rosonoer, I. M. Smirnova, and A. A. Tal. Logik—Automaten—Algorithmen. Revised German translation of the same by Rudolf Herschel. R. Oldenbourg Verlag, Munich and Vienna1967, X + 431 pp. - M. A. Ajzerman, L. A. Gusev, L. I. Rozonoer, I. M. Smirnova, and A. A. Tal. Logika, automaty a algoritmy. Czech translation of the same by Jaroslav Volčik, Miroslav Mleziva, and Antonín Mykiska. Československá Akademie Věd, Prague1971, 407 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 625
-
- Article
- Export citation
Octavian C. Bâscâ. La synthèse des automates finis par la méthode de A. Church. Logique, automatique, informatique, edited by Gr. C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 209–213.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-626
-
- Article
- Export citation
Gr. C. Moisil. Les états transitoires dans les circuits séquentiels. Logique, automatique, informatique, edited by Gr. C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 215–268.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 626
-
- Article
- Export citation
A. R. Meo. A theorem for synthetizing combinational networks. Alta frequenza (Rome), vol. 36 (1967), pp. 146–149.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 626
-
- Article
- Export citation
R. E. Krichevskii. Realization of functions by superpositions. English translation of XXXVII 639 by G. R. Kiss. Problems of cybernetics, vol. 2 (1961), pp. 458–477.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 626-627
-
- Article
- Export citation
V. I. Kolpakov. Océnka čisla pokrytij n-mérnogo kuba (Estimate of the number of covers of the n-dimensional cube). Diskrétnyj analiz, no. 14 (1969), pp. 16–17.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 627
-
- Article
- Export citation
P. Naslin. Circuits à relais et automatismes à séquences. Dunod, Paris1958, XII + 229 p.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 627
-
- Article
- Export citation
P. Naslin. Circuits logiques et automatismes à séquences. Deuxième édition, entièrement refondue. Dunod, Paris1965, XVIII + 476 p.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 627
-
- Article
- Export citation
F. A. Kabakov. O modélirovanii po réalizuémosti psévdobulévyh algébr. Doklady Akadémii Nauk SSSR, vol. 192 (1970), pp. 16–18. - F. A. Kabakov. On modelling of pseudo-Boolean algebras by realizability. English translation of the preceding by M. Machover. Soviet mathematics, vol. 11 no. 3 (1970), pp. 562–564.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 627-628
-
- Article
- Export citation
J. Ridder. Über modale Aussagenlogiken und ihren Zusammenhang mit Strukturen. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 55 (1952), pp. 213–223, 459–467; vol. 56 (1953), pp. 1–11, 99–110, 378–388; vol. 57 (1954), pp. 2–8, 117–128, 389–396; also Indagationes mathematicae, vol. 14 (1952), pp. 213–223, 459–467; vol. 15 (1953), pp. 1–11, 99–110, 378–388; vol. 16 (1954), pp. 2–8, 117–128, 389–396.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 628
-
- Article
- Export citation
Carlos E. Alchourrón. Logic of norms and logic of normative propositions. Logique et analyse, n.s. vol. 12 (1969), pp. 242–268.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 628-629
-
- Article
- Export citation
M. K. Rennie. On postulates for temporal order. The monist, vol. 53 (1969), pp. 457–468.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 629
-
- Article
- Export citation