Graph Saturation. Joosten, S. J. C. Archive of Formal Proofs, 2018. 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
{"_id":"xNmPJdF5HuneCx2xf","bibbaseid":"joosten-graphsaturation-2018","authorIDs":[],"author_short":["Joosten, S. J. C."],"bibdata":{"bibtype":"article","type":"article","added-at":"2019-01-07T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Joosten"],"firstnames":["Sebastiaan","J.","C."],"suffixes":[]}],"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","bibtex":"@article{journals/afp/Joosten18,\n added-at = {2019-01-07T00:00:00.000+0100},\n author = {Joosten, Sebastiaan J. C.},\n biburl = {https://www.bibsonomy.org/bibtex/2f0deb47f992a578e022fe4ccb50da695/dblp},\n ee = {https://www.isa-afp.org/entries/Graph_Saturation.html},\n interhash = {105a4af0cf35360096e3b72ff8e47fa0},\n intrahash = {f0deb47f992a578e022fe4ccb50da695},\n journal = {Archive of Formal Proofs},\n keywords = {dblp},\n timestamp = {2019-01-08T11:39:07.000+0100},\n title = {Graph Saturation.},\n url = {http://dblp.uni-trier.de/db/journals/afp/afp2018.html#Joosten18},\n volume = 2018,\n year = 2018\n}\n\n","author_short":["Joosten, S. J. C."],"key":"journals/afp/Joosten18","id":"journals/afp/Joosten18","bibbaseid":"joosten-graphsaturation-2018","role":"author","urls":{"Link":"https://www.isa-afp.org/entries/Graph_Saturation.html","Paper":"http://dblp.uni-trier.de/db/journals/afp/afp2018.html#Joosten18"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Sebastiaan Joosten?items=1000","creationDate":"2019-07-02T11:53:02.255Z","downloads":0,"keywords":["dblp"],"search_terms":["graph","saturation","joosten"],"title":"Graph Saturation.","year":2018,"dataSources":["iRXfhnWYb7pRvaQMx"]}