Edit Profile McRobbie, Michael A. Compute Distance To: Compute Author ID: mcrobbie.michael-a Published as: McRobbie, Michael A.; McRobbie, M. A.; McRobbie, Michael Documents Indexed: 12 Publications since 1977, including 2 Books Co-Authors 1 single-authored 5 Meyer, Robert Kenneth 5 Thistlewaite, Paul B. 3 Belnap, Nuel D. jun. 1 Barca, Anne 1 Slaney, John K. all top 5 Serials 2 Journal of Automated Reasoning 2 Bulletin of the Section of Logic 1 Logique et Analyse. Nouvelle Série 1 Reports on Mathematical Logic 1 Studia Logica 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Lecture Notes in Computer Science Fields 12 Mathematical logic and foundations (03-XX) 7 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 6 Publications have been cited 35 times in 29 Documents Cited by ▼ Year ▼ Automated theorem-proving in non-classical logics. Zbl 0682.68097Thistlewaite, Paul B.; McRobbie, Michael A.; Meyer, Robert K. 26 1988 Relevant analytic tableaux. Zbl 0406.03032McRobbie, Michael A.; Belnap, Nuel D. jun. 3 1979 Advanced theorem-proving techniques for relevant logics. Zbl 0612.03011Thistlewaite, P. B.; Meyer, R. K.; McRobbie, M. A. 2 1985 Towards efficient “knowledge-based” automated theorem proving for non- standard logics. Zbl 0651.03005McRobbie, Michael A.; Meyer, Robert K.; Thistlewaite, Paul B. 2 1988 Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Zbl 1102.68317McRobbie, M. A. (ed.); Slaney, J. K. (ed.) 1 1996 Proof tableau formulations of some first-order relevant ortho-logics. Zbl 0569.03007McRobbie, Michael A.; Belnap, Nuel D. jun. 1 1984 Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Zbl 1102.68317McRobbie, M. A.; Slaney, J. K. 1 1996 Automated theorem-proving in non-classical logics. Zbl 0682.68097Thistlewaite, Paul B.; McRobbie, Michael A.; Meyer, Robert K. 26 1988 Towards efficient “knowledge-based” automated theorem proving for non- standard logics. Zbl 0651.03005McRobbie, Michael A.; Meyer, Robert K.; Thistlewaite, Paul B. 2 1988 Advanced theorem-proving techniques for relevant logics. Zbl 0612.03011Thistlewaite, P. B.; Meyer, R. K.; McRobbie, M. A. 2 1985 Proof tableau formulations of some first-order relevant ortho-logics. Zbl 0569.03007McRobbie, Michael A.; Belnap, Nuel D. jun. 1 1984 Relevant analytic tableaux. Zbl 0406.03032McRobbie, Michael A.; Belnap, Nuel D. jun. 3 1979 all cited Publications top 5 cited Publications all top 5 Cited by 32 Authors 3 Bimbó, Katalin 3 Meyer, Robert Kenneth 2 McRobbie, Michael A. 2 Raftery, James G. 2 Slaney, John K. 1 Bollen, A. W. 1 Bunder, Martin W. 1 Caferra, Ricardo 1 D’Agostino, Marcello 1 Demri, Stéphane P. 1 Došen, Kosta 1 Franke, Andreas 1 Friedman, Harvey M. 1 Gabbay, Dov M. 1 Herment, Michel 1 Hoogland, Eva 1 Hsieh, Ai-Ni 1 Humberstone, Lloyd 1 Kohlhase, Michael 1 Mares, Edwin D. 1 Moraschini, Tommaso 1 Pelletier, Francis Jeffry 1 Powers, Lawrence H. 1 Priest, Graham 1 Pritchard, Paul A. 1 Riche, Jacques 1 Risch, Vincent 1 Schwind, Camilla B. 1 Swirydowicz, Kazimierz 1 Thistlewaite, Paul B. 1 Wannenburg, Johann J. 1 Weiss, Yale all top 5 Cited in 13 Serials 8 Journal of Automated Reasoning 4 Journal of Philosophical Logic 4 Studia Logica 3 The Journal of Symbolic Logic 1 Artificial Intelligence 1 Algebra Universalis 1 Notre Dame Journal of Formal Logic 1 Theoretical Computer Science 1 Journal of Symbolic Computation 1 Journal of Applied Non-Classical Logics 1 Mathematical Logic Quarterly (MLQ) 1 The Bulletin of Symbolic Logic 1 The Review of Symbolic Logic Cited in 4 Fields 28 Mathematical logic and foundations (03-XX) 8 Computer science (68-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) Citations by Year