- 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
Works by Michael Rabin
30 found
Order:
Disambiguations
Disambiguations:
| Michael O. Rabin [37] | Michael Rabin [2] |
- A logic to reason about likelihood.Joseph Y. Halpern & Michael O. Rabin - 1987 - Artificial Intelligence 32 (3):379-405.
- Decidability and undecidability of extensions of second (first) order theory of (generalized) successor.Calvin C. Elgot & Michael O. Rabin - 1966 - Journal of Symbolic Logic 31 (2):169-181.
- On recursively enumerable and arithmetic models of set theory.Michael O. Rabin - 1958 - Journal of Symbolic Logic 23 (4):408-416.
- Non-standard models and independence of the induction axiom.Michael O. Rabin - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 287--299.
- Of the association for symbolic logic.Sergei Artemov, Peter Koellner, Michael Rabin, Jeremy Avigad, Wilfried Sieg, William Tait & Haim Gaifman - 2006 - Bulletin of Symbolic Logic 12 (3-4):503.
- The Hilton New York Hotel New York, NY December 27–29, 2005.Sergei Artemov, Peter Koellner, Michael Rabin, Jeremy Avigad, Wilfried Sieg, William Tait & Haim Gaifman - 2006 - Bulletin of Symbolic Logic 12 (3).
- Real Time Computation.Jiri Becvar & Michael O. Rabin - 1966 - Journal of Symbolic Logic 31 (4):657.
- Session VII. A new paradigm for the social sciences? Introductory remarks: Liah Greenfeld moderator: Jonathan Eastwood participants: Ali banuazizi.Carlos Casanova, Jeffrey Friedman, Geoffrey Hill, Natan Press, George Prevelakis, Michael O. Rabin, Nathalie Richard, Joseph E. Steinmetz & Peter Wood - 2004 - Critical Review: A Journal of Politics and Society 16 (2-3):208-228.
- Bar-Hillel Yehoshua. . , vol. 5 no. 1 , pp. 19–23.Michael O. Rabin - 1958 - Journal of Symbolic Logic 23 (1):72-73.
- Meeting of the association for symbolic logic.Michael O. Rabin & Michael Morley - 1971 - Journal of Symbolic Logic 36 (4):696-710.
- Meeting of the Association for Symbolic Logic, Atlantic City, 1971.Michael O. Rabin & Michael Morley - 1971 - Journal of Symbolic Logic 36 (4):696-710.
- M. P. Schützenberger. A remark on finite transducers. Information and control, vol. 4 (1961), pp. 185–196.Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):297-297.
- Notice of two directories of philosophy.Michael O. Rabin & Michael Morley - 1971 - Journal of Symbolic Logic 36 (4):710-710.
- Words in the History of a Turing Machine with a Fixed Input.Michael O. Rabin & Hao Wang - 1969 - Journal of Symbolic Logic 34 (3):508-508.
- Boone William W.. Certain simple, unsolvable problems of group theory V–VI. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 60 , pp. 22–27, 227–232; also Indagationes mathematicae, vol. 19 , pp. 22–27, 227–232. [REVIEW]Michael O. Rabin - 1957 - Journal of Symbolic Logic 22 (4):373-374.
- Boone William W.. Certain simple, unsolvable problems of group theory I–IV. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 57 , pp. 231–237, 492–497, and vol. 58 , pp. 252–256, 571–577; also Indagationes mathematicae, vol. 16 , pp. 231–237, 492–497, and vol. 17 , pp. 252–256, 571–577. [REVIEW]Michael O. Rabin - 1957 - Journal of Symbolic Logic 22 (4):372-373.
- Fröhlich A. and Shepherdson J. C.. On the factorisation of polynomials in a finite number of steps. Mathematische Zeitschrift, vol. 62, no. 4 , pp. 331–334.Fröhlich A. and Shepherdson J. C.. Effective procedures in field theory. Philosophical transactions of the Royal Society of London, Series A, vol. 248 , pp. 407–432. [REVIEW]Michael O. Rabin - 1959 - Journal of Symbolic Logic 24 (2):169-170.
- Higman G.. Subgroups of finitely presented groups. Proceedings of the Royal Society of London, series A, mathematical and physical sciences, vol. 262 , pp. 455–475. [REVIEW]Michael O. Rabin - 1964 - Journal of Symbolic Logic 29 (4):204-205.
- J. L. Britton. The word problem for groups. Proceedings of the London Mathematical Society, third series, vol. 8 , pp. 493–506. - John L. Britton. The word problem. Annals of mathematics, second series, vol. 77 , pp. 16–32. [REVIEW]Michael O. Rabin - 1964 - Journal of Symbolic Logic 29 (4):205-206.
- Review: A. Frohlich, J. C. Shepherdson, On the Factorisation of Polynomials in a Finite Number of Steps; A. Frohlich, J. C. Shepherdson, Effective Procedures in Field Theory. [REVIEW]Michael O. Rabin - 1959 - Journal of Symbolic Logic 24 (2):169-170.
- Review: G. Higman, Subgroups of Finitely Presented Groups. [REVIEW]Michael O. Rabin - 1964 - Journal of Symbolic Logic 29 (4):204-205.
- Review: J. L. Britton, The Word Problem for Groups; John L. Britton, The Word Problem. [REVIEW]Michael O. Rabin - 1964 - Journal of Symbolic Logic 29 (4):205-206.Export citation
Bookmark - Review: M. P. Schutzenberger, On the Definition of a Family of Automata; M. P. Schutzenberger, Finite Counting Automata; M. P. Schutzenberger, Certain Elementary Families of Automata. [REVIEW]Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):296-297.
- Review: M. P. Schutzenberger, On Context-Free Languages and Push-Down Automata. [REVIEW]Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):297-298.
- Review: M. P. Schutzenberger, A Remark on Finite Transducers. [REVIEW]Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):297-297.
- Review: William W. Boone, Certain Simple, Unsolvable Problems of Group Theory I-IV. [REVIEW]Michael O. Rabin - 1957 - Journal of Symbolic Logic 22 (4):372-373.
- Review: William W. Boone, Certain Simple, Unsolvable Problems of Group Theory V-VI. [REVIEW]Michael O. Rabin - 1957 - Journal of Symbolic Logic 22 (4):373-374.Export citation Bookmark
- Review: Yehoshua Bar-Hillel, On the Nature of Ethical Sentences. [REVIEW]Michael O. Rabin - 1958 - Journal of Symbolic Logic 23 (1):72-73.
- M. P. Schützenberger. On the definition of a family of automata. Information and control, vol. 4 (1961), pp. 245–270. - M. P. Schützenberger. Finite counting automata.Information and control, vol. 5 (1962), pp. 91–107. - M. P. Schützenberger. Certain elementary families of automata. Proceedings of the Symposium of Mathematical Theory of Automata, New York, N.Y., Microwave Research Symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, New York1963, pp. 139–153. [REVIEW]Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):296-297.
- M. P. Schützenberger. On context-free languages and push-down automata. Information and control, vol. 6 (1963), pp. 246–264. [REVIEW]Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):297-298.
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-64dd777598-pjbg5 uwo