The following pages link to Michael A. McRobbie (Q805614):
Displaying 11 items.
- Automated reasoning and nonclassical logics: Introduction (Q805615) (← links)
- Approaching hard non-classical problems (Q1181720) (← links)
- Relevant analytic tableaux (Q1257473) (← links)
- (Q3686698) (← links)
- (Q3752368) (← links)
- (Q3795648) (← links)
- A Note on the Admissibility of Cut in Relevant Tableau Systems (Q3856736) (← links)
- (Q3900010) (← links)
- (Q3987712) (← links)
- (Q4119182) (← links)
- (Q4732137) (← links)
