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":"xKnm4EF4FJDz48SHQ","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}