×

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: 11 Publications since 1977, including 1 Book
1 Contribution as Editor
Co-Authors: 5 Co-Authors with 11 Joint Publications
69 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 41 times in 33 Documents Cited by Year
Automated theorem-proving in non-classical logics. Zbl 0682.68097
Thistlewaite, Paul B.; McRobbie, Michael A.; Meyer, Robert K.
28
1988
Relevant analytic tableaux. Zbl 0406.03032
McRobbie, Michael A.; Belnap, Nuel D. jun.
4
1979
Advanced theorem-proving techniques for relevant logics. Zbl 0612.03011
Thistlewaite, P. B.; Meyer, R. K.; McRobbie, M. A.
3
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
Proof tableau formulations of some first-order relevant ortho-logics. Zbl 0569.03007
McRobbie, Michael A.; Belnap, Nuel D. jun.
2
1984
Relevant analytic tableaux (abstract). Zbl 0349.02019
McRobbie, Michael A.; Belnap, Nuel D. jun.
1
1977
Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Zbl 1102.68317
1
1996
Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Zbl 1102.68317
1
1996
Automated theorem-proving in non-classical logics. Zbl 0682.68097
Thistlewaite, Paul B.; McRobbie, Michael A.; Meyer, Robert K.
28
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.
3
1985
Proof tableau formulations of some first-order relevant ortho-logics. Zbl 0569.03007
McRobbie, Michael A.; Belnap, Nuel D. jun.
2
1984
Relevant analytic tableaux. Zbl 0406.03032
McRobbie, Michael A.; Belnap, Nuel D. jun.
4
1979
Relevant analytic tableaux (abstract). Zbl 0349.02019
McRobbie, Michael A.; Belnap, Nuel D. jun.
1
1977

Citations by Year