Engeler Erwin. Formal languages: Automata and structures. Markham Publishing Company, Chicago 1968, vii + 81 pp [Book Review]

Journal of Symbolic Logic 35 (4):594-595 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271494

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,130

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Hu Sze-Tsen. Elementary functions and coordinate geometry. Markham Publishing Company, Chicago 1969, xvii + 349 pp. [REVIEW]Alonzo Church - 1969 - Journal of Symbolic Logic 34 (3):520-521.
Ginsburg Seymour. Algebraic and automata-theoretic properties of formal languages. Fundamental studies in computer science, vol. 2. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, xii + 313 pp. [REVIEW]Arto Salomaa - 1976 - Journal of Symbolic Logic 41 (4):788-789.
Review: Erwin Engeler, Algorithmic Properties of Structures. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (1):197-197.
Formal Languages: Automata and Structures.Erwin Engeler - 1970 - Journal of Symbolic Logic 35 (4):594-595.
Bocheński I. M.. Ancient formal logic. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1951, VII + 1 + 122 pp. [REVIEW]Robert Feys - 1953 - Journal of Symbolic Logic 18 (1):81-82.
Robert McNaughton. Automata, formal languages, abstract switching, and computability in a Ph. D. computer science program. Communications of the ACM, vol. 11 (1968), pp. 738–740, 746. [REVIEW]Ann S. Ferebee - 1970 - Journal of Symbolic Logic 34 (4):656-656.
Corrado Böhm and Wolf Gross. Introduction to the CUCH. Automata theory, edited by E. R. Caianiello, Academic Press, New York and London1966, pp. 35–65. Reprinted in Pubblicazioni dell'Istituto Nazionale per le Applicazioni del Calcolo, ser. 11 no. 669, Rome 1966. - C. Böhm. The CUCH as a formal and description language. Formal language description languages for computer programming, Proceedings of the IFIP Working Conference on Formal Language Description Languages, edited by T. B. SteelJr., North-Holland Publishing Company, Amsterdam1966, pp. 179–197. [REVIEW]Jonathan P. Seldin - 1975 - Journal of Symbolic Logic 40 (1):81-83.
Evert W. Beth. Preface. English translation of XL 256. Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. XI–XIII. - Evert W. Beth. Science as a cultural factor. English translation of XL 256. Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. 1–10. - Evert W. Beth. Natural science, philosophy, and persuasion. English translation of XL 256. Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. 11–20. - Evert W. Beth. Scientific philosophy: its aims and means. English translation of XL 256. Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. 29–34. - Evert W. Beth. Symbolic logic as a continuation of traditional formal logic. English translation of XL 256. Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. 42–61. - Evert W. Beth. [REVIEW]H. L. Berghel - 1975 - Journal of Symbolic Logic 40 (2):255-298.
Erwin Engeler. A reduction-principle for infinite formulas. Mathematische Annalen, vol. 151 , pp. 296–301.Carol Karp - 1968 - Journal of Symbolic Logic 33 (1):123.
Erwin Engeler. Algorithmic approximations. Journal of computer and system sciences, vol. 5 , pp. 67–82.R. M. Burstall - 1974 - Journal of Symbolic Logic 39 (2):348.

Analytics

Added to PP
2013-11-22

Downloads
40 (#558,862)

6 months
15 (#202,268)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references