BibTeX record conf/diagrams/Aznar22

• > Home > conf/diagrams/Aznar22

@inproceedings{DBLP:conf/diagrams/Aznar22,
  author       = {Marcos Bautista L{\'{o}}pez Aznar},
  editor       = {Valeria Giardino and
                  Sven Linker and
                  Richard Burns and
                  Francesco Bellucci and
                  Jean{-}Michel Boucheix and
                  Petrucio Viana},
  title        = {How to Build and Convert Complex Propositions in the Marlo Diagram},
  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        = {359--363},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15146-0\_31},
  doi          = {10.1007/978-3-031-15146-0\_31},
  timestamp    = {Mon, 24 Oct 2022 20:50:57 +0200},
  biburl       = {https://dblp.org/rec/conf/diagrams/Aznar22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}