If you made any changes in Pure these will be visible here soon.

Research Output 2002 2018

Filter
Other contribution
2016

Proceedings of the 22nd International Conference on Conceptual Structures

Haermale, O. (ed.), Stapleton, G. (ed.) & Faron Zucker, C. (ed.) 1 Jan 2016 Annecy, France

Research output: Other contribution

Open Access
File
2015
Open Access
File
language
2007

Euler diagram reasoning

Stapleton, G. 1 Jan 2007 8 p.University of Brighton, Brighton, UK

Research output: Other contribution

Open Access
File
Terminology
Documentation
Research

How to use Edith: the Euler diagram theorem prover

Stapleton, G. 1 Jan 2007 14 p.University of Brighton, Brighton, UK

Research output: Other contribution

Open Access
File
2006

Appendices for automated theorem proving in Euler diagram systems

Stapleton, G., Masthoff, J., Flower, J., Fish, A. & Southern, J. 2006 35 p.Brighton, UK

Research output: Other contribution

File
Automated Theorem Proving
Euler
Diagram
Clutter
Theorem Proving

Euler diagram-based notations

Howse, J., Bosworth, R., Fish, A., Stapleton, G., Taylor, J., Rodgers, P. & Thompson, S. 2006 Brighton, UK

Research output: Other contribution

File
Conveying
2004
File
Acoustic waves
Formal specification