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 [Book Review]

Journal of Symbolic Logic 40 (1):81-83 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272275

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

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

N. Chomsky and M. P. Schützenberger. The algebraic theory of context-free languages. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 118–161. [REVIEW]G. H. Matthews - 1967 - Journal of Symbolic Logic 32 (3):388-389.
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.
Logics and languages.Max Cresswell - 1973 - London,: Methuen [Distributed in the U.S.A. by Harper & Row.
Logics and Languages.Maxwell John Cresswell - 1973 - London, England: Routledge.
The Metaformal System: Completing the Theory of Language.Christopher Langan - 2018 - Cosmos and History 14 (2):207-227.
Automata, Languages and Programming: 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings.Andrzej Lingas & Rolf Karlsson - 1993 - Springer.
Introduction to the CUCH.Wolf Gross, E. R. Caianiello & T. B. Steel - 1975 - Journal of Symbolic Logic 40 (1):81-83.
McCarthy John. A basis for a mathematical theory of computation, preliminary report. Proceedings of the Western Joint Computer Conference, Papers presented at the Joint IRE-AIEE-ACM Computer Conference, Los Angeles, Calif., May 9–11, 1961, Western Joint Computer Conference, 1961, pp. 225–238.McCarthy John. A basis for a mathematical theory of computation. Computer programming and formal systems, edited by Braffort P. and Hirschberg D., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1963, pp. 33–70. [REVIEW]Martin Davis - 1968 - Journal of Symbolic Logic 33 (1):117-117.
forall x: An introduction to formal logic.P. D. Magnus - 2005 - Victoria, BC, Canada: State University of New York Oer Services.
The Role of Artificial Languages.Martin Stokhof - 2011 - In Gillian Russell & Delia Graff Fara (eds.), The Routledge Companion to Philosophy of Language. London: Routledge. pp. 5440553.
Wang Hao. Mechanical mathematics and inferential analysis. Computer programming and formal systems, edited by Braffort P. and Hirschberg D., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1963, pp. 1–20. [REVIEW]David C. Cooper - 1967 - Journal of Symbolic Logic 32 (1):120-120.
Computational Semantics with Functional Programming.Jan van Eijck - 2010 - Cambridge University Press.
Tractability and Intractability of Controlled Languages for Data Access.Camilo Thorne & Diego Calvanese - 2012 - Studia Logica 100 (4):787-813.
Non-axiomatizability of Grice's implicature.Marek Tokarz - 1994 - Studia Logica 53 (2):343 - 349.
The logic of pit.Hans P. Van Ditmarsch - 2006 - Synthese 149 (2):343-374.

Analytics

Added to PP
2013-11-22

Downloads
36 (#441,393)

6 months
3 (#962,988)

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