Graph Saturation. Joosten, S. J. C. Archive of Formal Proofs, 2018.
Graph Saturation. [link]Link  Graph Saturation. [link]Paper  bibtex   
@article{journals/afp/Joosten18,
  added-at = {2019-01-07T00:00:00.000+0100},
  author = {Joosten, Sebastiaan J. C.},
  biburl = {https://www.bibsonomy.org/bibtex/2f0deb47f992a578e022fe4ccb50da695/dblp},
  ee = {https://www.isa-afp.org/entries/Graph_Saturation.html},
  interhash = {105a4af0cf35360096e3b72ff8e47fa0},
  intrahash = {f0deb47f992a578e022fe4ccb50da695},
  journal = {Archive of Formal Proofs},
  keywords = {dblp},
  timestamp = {2019-01-08T11:39:07.000+0100},
  title = {Graph Saturation.},
  url = {http://dblp.uni-trier.de/db/journals/afp/afp2018.html#Joosten18},
  volume = 2018,
  year = 2018
}

Downloads: 0