Theory and application of diagrams. 1st international conference, Diagrams 2000, Edinburgh, Scotland, GB, September 1--3, 2000. Proceedings

DOI10.1007/3-540-44590-0zbMATH Open0947.00039DBLPconf/diagrams/2000OpenAlexW2503053743WikidataQ57918365 ScholiaQ57918365MaRDI QIDQ1582973FDOQ1582973

Authors:

Publication date: 18 October 2000

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-44590-0

Recommendations

• Diagrammatic representation and inference. 10th international conference, Diagrams 2018, Edinburgh, UK, June 18--22, 2018. Proceedings
• Diagrammatic representation and inference. Third international conference, Diagrams 2004, Cambridge, UK, March 22--24, 2004. Proceedings.
• Diagrammatic representation and inference. 2nd international conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18--20, 2002. Proceedings
• Diagrammatic representation and inference. 6th international conference, Diagrams 2010, Portland, OR, USA, August 9--11, 2010. Proceedings
• Diagrammatic representation and inference. 9th international conference, Diagrams 2016, Philadelphia, PA, USA, August 7--10, 2016. Proceedings
• Diagrammatic representation and inference. 5th international conference, Diagrams 2008, Herrsching, Germany, September 19--21, 2008. Proceedings
• Diagrammatic representation and inference. 11th international conference, Diagrams 2020, Tallinn, Estonia, August 24--28, 2020. Proceedings
• Diagrammatic representation and inference. 4th international conference, Diagrams 2006, Stanford, CA, USA, June 28--30, 2006. Proceedings
• Diagrammatic representation and inference. 12th international conference, Diagrams 2021, virtual, September 28--30, 2021. Proceedings

zbMATH Keywords

ConferenceProceedingsEdinburgh, Scotland (GB)Diagrams 2000

Mathematics Subject Classification ID

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)

Cited In (2)

• The forgotten individual: diagrammatic reasoning in mathematics
• Diagram processing: Computing with diagrams

This page was built for publication: Theory and application of diagrams. 1st international conference, Diagrams 2000, Edinburgh, Scotland, GB, September 1--3, 2000. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1582973)