Browse by Combined Author & Editor

Up a level
Export as [feed] RSS
Number of items: 7.

Alqadah, Mohanad, Stapleton, Gem, Howse, John and Chapman, Peter (2014) Evaluating the impact of clutter in Euler diagrams In: Proceedings of the 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia 28 July – 1 August, 2014.

Chapman, Peter, Stapleton, Gem and Delaney, Aidan (2013) On the expressiveness of second-order spider diagrams Journal of Visual Languages and Computing, 24 (5). pp. 327-349. ISSN 1045-926X

Chapman, Peter, Stapleton, Gem, Howse, John and Oliver, Ian (2011) Deriving sound inference rules for concept diagrams In: Proceedings of the IEEE symposium on visual languages and human-centric computing 2011, 18-22 September 2011, Pittsburgh, PA, USA, 18-22 September, 2011.

Howse, John, Stapleton, Gem, Taylor, Kerry and Chapman, Peter (2011) Visualizing ontologies: a case study In: Proceedings of the 10th International Semantic Web Conference, Part I, Bonn, Germany, October 23-27, 2011.

Chapman, Peter and Stapleton, Gem (2010) Creating a second order diagrammatic logic In: 6th International Conference on the Theory and Application of Diagrams, 9-11 August 2010, Portland, OR, USA.

Chapman, Peter and Stapleton, Gem (2010) Introducing second order spider diagrams for defining regular languages In: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, 21 - 25 Sep 2010, Universidad Carlos III de Madrid.

Chapman, Peter, McKinna, James and Urban, Christian (2008) Mechanising a proof of Craig's Interpolation Theorem for intuitionistic logic in nominal isabelle In: Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics, 31 July - 1 August, 2011, Birmingham, UK, July 28 - August 1, 2008.

This list was generated on Mon Apr 27 13:32:25 2015 BST.