Intuitionistic Euler-Venn Diagrams. Linker, S. In Pietarinen, A., Chapman, P., Smet, L. B., Giardino, V., Corter, J. E., & Linker, S., editors, Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, volume 12169, of Lecture Notes in Computer Science, pages 264–280, 2020. Springer.
Intuitionistic Euler-Venn Diagrams [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/diagrams/Linker20,
  author       = {Sven Linker},
  editor       = {Ahti{-}Veikko Pietarinen and
                  Peter Chapman and
                  Leonie Bosveld{-}de Smet and
                  Valeria Giardino and
                  James E. Corter and
                  Sven Linker},
  title        = {Intuitionistic Euler-Venn Diagrams},
  booktitle    = {Diagrammatic Representation and Inference - 11th International Conference,
                  Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12169},
  pages        = {264--280},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-54249-8\_21},
  doi          = {10.1007/978-3-030-54249-8\_21},
  timestamp    = {Wed, 26 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/diagrams/Linker20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0