- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Developments in Language Theory: At the Crossroads of Mathematics, Computer Science, and Biology : Turku, Finland, 12-15 July 1993 [Book Review]
World Scientific Publishing Company (1994)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Salomaa Arto. On many-valued systems of logic. Ajatus, vol. 22 , pp. 115–159.Salomaa Arto. On the composition of functions of several variables ranging over a finite set. Annales Universitatis Turkuensis, Series A, Turun Yliopisto, Turku 1960, 48 pp. [REVIEW]Atwell R. Turquette - 1960 - Journal of Symbolic Logic 25 (3):291-293.
Automata, Languages, and Programming: 16th International Colloquium, Stresa, Italy, July 11-15, 1989 : Proceedings.Giorgio Ausiello & Mariangiola Dezani-Ciancaglini - 1989 - Springer.
Arto Salomaa. Formal languages. ACM monograph series. Academic Press, New York, San Francisco, and London, 1973, xiii + 322 pp. [REVIEW]Andrzej Blikle - 1977 - Journal of Symbolic Logic 42 (4):583-584.
Salomaa Arto. Some completeness criteria for sets of functions over a finite domain. II. Annales Universitatis Turkuensis, Series AI, no. 63. Turun Yliopisto, Turku 1963, 19 pp. [REVIEW]Atwell R. Turquette - 1965 - Journal of Symbolic Logic 30 (1):106-106.
Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01).C. S. Calude - 2001 - Springer.
Logic in mathematics and computer science.Richard Zach - forthcoming - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.
Automata, Languages and Programming: 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings.Andrzej Lingas & Rolf Karlsson - 1993 - Springer.
A first course in formal logic and its applications in computer science.Roy Dowsing - 1986 - Boston: Blackwell Scientific Publications. Edited by V. J. Rayward-Smith & C. D. Walter.
Analytics
Added to PP
2015-02-13
Downloads
4 (#1,804,835)
6 months
2 (#1,688,095)
2015-02-13
Downloads
4 (#1,804,835)
6 months
2 (#1,688,095)
Historical graph of downloads
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-648784bb4d-ls7fw uwo