Sequent Calculus for Euler Diagrams

First Author: Linker S

Attributed to: Science of Sensor System Software funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-91376-6_37

Publication URI: http://dx.doi.org/10.1007/978-3-319-91376-6_37

Type: Book Chapter

Book Title: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings (2018)

Page Reference: 399-407