Intuitionistic Euler-Venn Diagrams

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.

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

{"_id":"ygc5DDs3FgJGWhTvj","bibbaseid":"linker-intuitionisticeulervenndiagrams-2020","author_short":["Linker, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Sven"],"propositions":[],"lastnames":["Linker"],"suffixes":[]}],"editor":[{"firstnames":["Ahti-Veikko"],"propositions":[],"lastnames":["Pietarinen"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Chapman"],"suffixes":[]},{"firstnames":["Leonie","Bosveld-de"],"propositions":[],"lastnames":["Smet"],"suffixes":[]},{"firstnames":["Valeria"],"propositions":[],"lastnames":["Giardino"],"suffixes":[]},{"firstnames":["James","E."],"propositions":[],"lastnames":["Corter"],"suffixes":[]},{"firstnames":["Sven"],"propositions":[],"lastnames":["Linker"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/diagrams/Linker20,\n author = {Sven Linker},\n editor = {Ahti{-}Veikko Pietarinen and\n Peter Chapman and\n Leonie Bosveld{-}de Smet and\n Valeria Giardino and\n James E. Corter and\n Sven Linker},\n title = {Intuitionistic Euler-Venn Diagrams},\n booktitle = {Diagrammatic Representation and Inference - 11th International Conference,\n Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {12169},\n pages = {264--280},\n publisher = {Springer},\n year = {2020},\n url = {https://doi.org/10.1007/978-3-030-54249-8\\_21},\n doi = {10.1007/978-3-030-54249-8\\_21},\n timestamp = {Wed, 26 Aug 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/diagrams/Linker20.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Linker, S."],"editor_short":["Pietarinen, A.","Chapman, P.","Smet, L. B.","Giardino, V.","Corter, J. E.","Linker, S."],"key":"DBLP:conf/diagrams/Linker20","id":"DBLP:conf/diagrams/Linker20","bibbaseid":"linker-intuitionisticeulervenndiagrams-2020","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-54249-8\\_21"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/48/8323.bib","dataSources":["viaGT23rwj7vKvjeq"],"keywords":[],"search_terms":["intuitionistic","euler","venn","diagrams","linker"],"title":"Intuitionistic Euler-Venn Diagrams","year":2020}