Michael O. Rabin (rabin-mo)

Contributions to Philosophie.ch

Bibliography

Bar-Hillel, Yehoshua, Poznański, Edward, Rabin, Michael O. and Robinson, Abraham, eds. 1961. Essays on the Foundations of Mathematics. Dedicated to A.A. Fraenkel on his Seventieth Anniversary. Jerusalem: The Magnes Press. Second edition: Bar-Hillel et al. (1966).
Bar-Hillel, Yehoshua, Poznański, Edward, Rabin, Michael O. and Robinson, Abraham, eds. 1966. Essays on the Foundations of Mathematics. Dedicated to A.A. Fraenkel on his Seventieth Anniversary. 2nd ed. Jerusalem: The Magnes Press. First edition: Bar-Hillel et al. (1961).
Halpern, Joseph Y. and Rabin, Michael O. 1987. “A Logic to Reason about Likelihood.” Artificial Intelligence 32(3): 379–405.
Rabin, Michael O. 1961. “Non-Standard Models and Independence of the Induction Axiom.” in Essays on the Foundations of Mathematics. Dedicated to A.A. Fraenkel on his Seventieth Anniversary, edited by Yehoshua Bar-Hillel, Edward Poznański, Michael O. Rabin, and Abraham Robinson, pp. 287–299. Jerusalem: The Magnes Press. Second edition: Bar-Hillel et al. (1966).
Rabin, Michael O. 1965. “A Simple Method for Undecidability Proofs and Some Applications.” in Logic, Methodology and Philosophy of Science II, Proceedings of the 1964 International Congress in Jerusalem, edited by Yehoshua Bar-Hillel, pp. 58–68. Amsterdam: North-Holland Publishing Co.
Rabin, Michael O. 1969. “Decidability of Second Order Theories and Automata on Infinite Trees.” Transactions of the American Mathematical Society 141: 1–35.
Rabin, Michael O. 1970. “Weakly Definable Relations and Special Automata.” in Mathematical Logic and Foundations of Set Theory. Proceedings of an International Colloquium Held Under the Auspices of the Israel Academy of Sciences and Humanities, Jerusale, 11-14 November 1968, edited by Yehoshua Bar-Hillel, pp. 1–23. Studies in Logic and the Foundations of Mathematics n. 59. Amsterdam: North-Holland Publishing Co.
Rabin, Michael O. 1977. “Decidable Theories.” in Handbook of Mathematical Logic, edited by Jon K. Barwise, pp. 595–630. Studies in Logic and the Foundations of Mathematics n. 90. Amsterdam: North-Holland Publishing Co.