Proceedings of the first international workshop on Euler diagrams (Euler 2004), University of Brighton, Brighton, UK, September 22--23, 2004
zbMATH Open1110.03302MaRDI QIDQ878020FDOQ878020
Authors:
Publication date: 25 April 2007
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/journal/15710661
Recommendations
- A graph theoretic approach to general Euler diagram drawing
- Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams
- Euler Diagrams Through the Looking Glass: From Extent to Intent
- Abstractions of Euler diagrams
- Diagrammatic representation and inference. Third international conference, Diagrams 2004, Cambridge, UK, March 22--24, 2004. Proceedings.
- Sequent Calculus for Euler Diagrams
- Euler-type diagrams and the quantification of the predicate
Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in artificial intelligence (68T27)
This page was built for publication: Proceedings of the first international workshop on Euler diagrams (Euler 2004), University of Brighton, Brighton, UK, September 22--23, 2004
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q878020)
