BibTeX record conf/diagrams/Falcao22

• > Home > conf/diagrams/Falcao22

@inproceedings{DBLP:conf/diagrams/Falcao22,
  author       = {Pedro Falc{\~{a}}o},
  editor       = {Valeria Giardino and
                  Sven Linker and
                  Richard Burns and
                  Francesco Bellucci and
                  Jean{-}Michel Boucheix and
                  Petrucio Viana},
  title        = {Visualizing Polymorphisms and Counter-Polymorphisms in {S5} Modal
                  Logic},
  booktitle    = {Diagrammatic Representation and Inference - 13th International Conference,
                  Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13462},
  pages        = {296--311},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15146-0\_25},
  doi          = {10.1007/978-3-031-15146-0\_25},
  timestamp    = {Wed, 21 Sep 2022 18:26:35 +0200},
  biburl       = {https://dblp.org/rec/conf/diagrams/Falcao22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}