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


This article has no associated abstract. (fix it)



    Upload a copy of this work     Papers currently archived: 83,948

External links

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

Through your library

Similar books and articles

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.
Introduction to the CUCH.Wolf Gross, E. R. Caianiello & T. B. Steel - 1975 - Journal of Symbolic Logic 40 (1):81-83.
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.
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.


Added to PP

30 (#417,509)

6 months
1 (#505,949)

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