BibTeX record conf/cade/AllamigeonKS20

download as .bib file

@inproceedings{DBLP:conf/cade/AllamigeonKS20,
  author    = {Xavier Allamigeon and
               Ricardo D. Katz and
               Pierre{-}Yves Strub},
  title     = {Formalizing the Face Lattice of Polyhedra},
  booktitle = {{IJCAR} {(2)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12167},
  pages     = {185--203},
  publisher = {Springer},
  year      = {2020}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics