Browse by Combined Author & Editor

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

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 Sat Dec 20 03:36:42 2014 GMT.