Michael A. McRobbie

zbMath Openmcrobbie.michael-aMaRDI QIDQ805614

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 31597 (Why is no real title available?)	1992-06-28	Paper
Approaching hard non-classical problems Journal of Automated Reasoning	1992-06-27	Paper
Automated reasoning and nonclassical logics: Introduction Journal of Automated Reasoning	1991-01-01	Paper
scientific article; zbMATH DE number 4117898 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4061193 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 3989325 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3908410 (Why is no real title available?)	1984-01-01	Paper
scientific article; zbMATH DE number 3708335 (Why is no real title available?)	1980-01-01	Paper
Relevant analytic tableaux Studia Logica	1979-01-01	Paper
A Note on the Admissibility of Cut in Relevant Tableau Systems Zeitschrift für Mathematische Logik und Grundlagen der Mathematik	1979-01-01	Paper
scientific article; zbMATH DE number 3544011 (Why is no real title available?)	1977-01-01	Paper

Research outcomes over time

This page was built for person: Michael A. McRobbie