×

zbMATH — the first resource for mathematics

McRobbie, Michael A.

Compute Distance To:
Author ID: mcrobbie.michael-a Recent zbMATH articles by "McRobbie, Michael A."
Published as: McRobbie, Michael A.; McRobbie, M. A.; McRobbie, Michael
Documents Indexed: 12 Publications since 1977, including 2 Books

Publications by Year

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.68097
Thistlewaite, Paul B.; McRobbie, Michael A.; Meyer, Robert K.
26
1988
Relevant analytic tableaux. Zbl 0406.03032
McRobbie, Michael A.; Belnap, Nuel D. jun.
3
1979
Advanced theorem-proving techniques for relevant logics. Zbl 0612.03011
Thistlewaite, P. B.; Meyer, R. K.; McRobbie, M. A.
2
1985
Towards efficient “knowledge-based” automated theorem proving for non- standard logics. Zbl 0651.03005
McRobbie, 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.68317
McRobbie, M. A. (ed.); Slaney, J. K. (ed.)
1
1996
Proof tableau formulations of some first-order relevant ortho-logics. Zbl 0569.03007
McRobbie, 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.68317
McRobbie, M. A.; Slaney, J. K.
1
1996
Automated theorem-proving in non-classical logics. Zbl 0682.68097
Thistlewaite, Paul B.; McRobbie, Michael A.; Meyer, Robert K.
26
1988
Towards efficient “knowledge-based” automated theorem proving for non- standard logics. Zbl 0651.03005
McRobbie, Michael A.; Meyer, Robert K.; Thistlewaite, Paul B.
2
1988
Advanced theorem-proving techniques for relevant logics. Zbl 0612.03011
Thistlewaite, P. B.; Meyer, R. K.; McRobbie, M. A.
2
1985
Proof tableau formulations of some first-order relevant ortho-logics. Zbl 0569.03007
McRobbie, Michael A.; Belnap, Nuel D. jun.
1
1984
Relevant analytic tableaux. Zbl 0406.03032
McRobbie, Michael A.; Belnap, Nuel D. jun.
3
1979

Citations by Year