Dave Barker-Plummer

MaRDI QIDQ1197384zbMATH OpenFDO

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
A formal model of aspect shifting: the case of dot diagrams Diagrammatic Representation and Inference	2023-07-26	Paper
scientific article; zbMATH DE number 7644091 (Why is no real title available?)	2023-01-20	Paper
Channel-Theoretic Account of the Semantic Potentials of False Diagrams 1514.00013	2022-12-07	Paper
A generic approach to diagrammatic representation: the case of single feature indicator systems	2018-08-27	Paper
Logical reasoning with diagrams and sentences. Using hyperproof	2017-10-27	Paper
Language, proof, and logic. In collaboration with Albert Liu, Michael Murray and Emma Pease. With CD-ROM	2011-11-15	Paper
scientific article; zbMATH DE number 1787154 (Why is no real title available?)	2002-11-18	Paper
Errata to: ``\(Z\)-match: An inference rule for incrementally elaborating set instantiations'' Journal of Automated Reasoning	1994-12-21	Paper
\({\mathcal Z}\)-match: An inference rule for incrementally elaborating set instantiations Journal of Automated Reasoning	1994-04-12	Paper
Gazing: An approach to the problem of definition and lemma use Journal of Automated Reasoning	1993-01-16	Paper

Research outcomes over time

This page was built for person: Dave Barker-Plummer