Author: Dave Barker-Plummer
Publication Overview
Publication period start: 2011
Number of co-authors: 6
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Barker-Plummer,
Dave,
Swoboda,
Nik
(2011):
Reasoning with coincidence grids - A sequent-based logic and an analysis of complexity.
In
J. Vis. Lang. Comput.,
22
(1)
pp. 56-65.
https://dx.doi.org/10.1016/j.jvlc.2010.11.006
Barker-Plummer,
Dave,
Cox,
Richard,
Swoboda,
Nik
(eds.)
Diagrams 2006 - Diagrammatic Representation and Inference - 4th International Conference
June 28-30,
2006,
Stanford, CA, USA.
Barker-Plummer,
Dave,
Etchemendy,
John,
Liu,
Albert,
Murray,
Michael,
Swoboda,
Nik
(2008):
Openproof - A Flexible Framework for Heterogeneous Reasoning.
In:
Stapleton,
Gem,
Howse,
John,
Lee,
John
(eds.)
Diagrams 2008 - Diagrammatic Representation and Inference - 5th International Conference
September 19-21,
2008,
Herrsching, Germany.
pp. 347-349.
https://dx.doi.org/10.1007/978-3-540-87730-1_32
Cox,
Richard,
Dale,
Robert,
Etchemendy,
John,
Barker-Plummer,
Dave
(2008):
Graphical Revelations: Comparing Students\' Translation Errors in Graphics and Logic.
In:
Stapleton,
Gem,
Howse,
John,
Lee,
John
(eds.)
Diagrams 2008 - Diagrammatic Representation and Inference - 5th International Conference
September 19-21,
2008,
Herrsching, Germany.
pp. 257-265.
https://dx.doi.org/10.1007/978-3-540-87730-1_24
Barker-Plummer,
Dave,
Swoboda,
Nik
(2007):
A Sequent Based Logic for Coincidence Grids.
In:
Cox,
Philip T.,
Fish,
Andrew,
Howse,
John
(eds.)
VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing
23rd September,
2007,
Coeur dAléne, Idaho, USA.
pp. 1-12.
https://ceur-ws.org/Vol-274/paper1.pdf