21 results
Zohar Manna. Mathematical theory of computation. McGraw-Hill Book Company, New York etc. 1974, x + 448 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 122-124
- Print publication:
- March 1979
-
- Article
- Export citation
Arto Salomaa. Formal languages. ACM monograph series. Academic Press, New York, San Francisco, and London, 1973, xiii + 322 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 4 / December 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 583-584
- Print publication:
- December 1977
-
- Article
- Export citation
J. W. de Barker. The fixed point approach in semantics: theory and applications. Foundations of computer science, edited by J. W. de Bakker, Mathematical Centre Tracts 63, Mathematisch Centrum, Amsterdam1975, pp. 1–53.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 3 / September 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 419-420
- Print publication:
- September 1977
-
- Article
- Export citation
Zohar Manna. Mathematical theory of partial correctness. Journal of computer and system sciences, vol. 5 (1971), pp. 239–253.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 348
- Print publication:
- June 1974
-
- Article
- Export citation
C. Boucher. Leçons sur la théorie des automates mathématiques. Lecture notes in operations research and mathematical systems, no. 46, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, VIII + 193 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 759-760
- Print publication:
- December 1972
-
- Article
- Export citation
E. Shamir. On sequential languages and two classes of regular events. Zeitschrift für Phonetik, Sprachwissenschaft und Kommunikationsforschung, vol. 18 (1965) pp. 61–69.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 200
- Print publication:
- March 1972
-
- Article
- Export citation
Erwin Engeler. Formal languages: Automata and structures. Markham Publishing Company, Chicago1968, vii + 81 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 594-595
- Print publication:
- December 1970
-
- Article
- Export citation
Meeting of the association for symbolic logic warsaw 1968
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 533-544
- Print publication:
- 17 November 1969
-
- Article
-
- You have access
- Export citation
Maurice Gross and André Lentin. Notions sur les grammaires formelles. Publications de l'Institut de Programmation de la Faculté des Sciences de Paris, Collection programmation, Gauthier-Villars, Paris1967, 197 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 298-299
- Print publication:
- 25 July 1969
-
- Article
- Export citation
Seymour Ginsburg. The mathematical theory of context free languages. McGraw-Hill Book Company, New York, San Francisco, St, Louis, Toronto, London, and Sydney, 1966, xii + 232 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 300-301
- Print publication:
- 23 July 1968
-
- Article
- Export citation
David A. Huffman. Canonical forms for information-lossless finite-stale logical machines. Sequential machines, Selected papers, edited by Edward F. Moore, Addison-Wesley Publishing Company, Inc., Reading, Massachusetts, Palo Alto, and London, 1964, pp. 132–156. (Reprinted from IRE transactions on circuit theory, vol. CT-6, special supplement (1959), pp. 41–59.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 389
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Irving M. Copi, Calvin C. Elgot, and Jesse B. Wright. Realization of events by logical nets. Sequential machines, Selected papers, edited by Edward F. Moore, Addison-Wesley Publishing Company, Inc., Reading, Massachusetts, Palo Alto, and London, 1964, pp. 175–192. (Reprinted from Journal of the Association for Computing Machinery, vol. 5 (1958), pp. 181–196.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 389-390
- Print publication:
- 09 October 1967
-
- Article
- Export citation
R. McNaughton and H. Yamada. Regular expressions and state graphs for automata. Sequential machines, Selected papers, edited by Edward F. Moore, Addison-Wesley Publishing Company, Inc., Reading, Massachusetts, Palo Alto, and London, 1964, pp. 157–174. (Reprinted from IRE transactions on electronic computers, vol. EC-9 (1960), pp. 39–47.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 390-391
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Vladeta Vučković. Dva stava o parcijalnim automatima (Two theorems on partial automata). Matematička biblioteka, vol. 25 (1963), pp. 41–49.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 264-265
- Print publication:
- June 1966
-
- Article
- Export citation
Ú. T. Médvédév. O klassé sobytij, dopuskaúščih prédstavlénié v konéčnom avtomaté (On a class of events representable in a finite automaton). Avtomaty, Izdatél'stvo Inostrannoj Litératury, Moscow1956, pp. 385–401.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 381-382
- Print publication:
- September 1965
-
- Article
- Export citation
B. I. Finikov. Ob odnom séméjstvé klassov funkcij algébry logiki i ih réalizacii v klassé II-shém (On a family of classes of functions in the algebra of logic and their realizations in the class of II-circuits). Doklady Akadémii Nauk SSSR, vol. 115 (1957), pp. 247–248.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 212
- Print publication:
- December 1964
-
- Article
- Export citation
A. A. Markov. Matématičéskaá logika i vyčislitél′ naá matématika (Mathematical logic and numerical analysis). Véstnik Akadémii Nauk SSSR, vol. 27 no. 8 (1957), pp. 21–25.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 209
- Print publication:
- December 1964
-
- Article
- Export citation
B. A. Trahténbrot. Asimptotičéskaá océnka složnosti logičéskih sétéj s památ′ú. Doklady Akadémii Nauk SSSR, vol. 127 (1959), pp. 281–284. - B. A. Trahtenbrot. Asymptotic evaluation of the complexity of logic nets with memory. English translation of the above. Automation express,, vol. 2 (1959), pp. 13–14.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 100
- Print publication:
- June 1964
-
- Article
- Export citation
V. L. Murskij. Ob ekvivaléntnyh préobrazovaniáh kontaktnyh shém (Equivalent transformations of contact circuits). Doklady Akadémii Nauk SSSR, vol. 127 (1959), pp. 262–265.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 52
- Print publication:
- March 1964
-
- Article
- Export citation
B. A. Trahténbrot. Sintéz logičéskih sétéj, opératory kotoryh opisany srédstvami isčisléniá odnoméstnyh predikátov (Synthesis of logical nets whose operators are described by means of the calculus of one-place predicates). Doklady Akadémii Nauk SSSR, vol. 118 (1958), pp. 646–649.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 254-255
- Print publication:
- September 1963
-
- Article
- Export citation