%0 Journal Article %1 journals/ndjfl/BergerS06 %A Berger, Josef %A Schuster, Peter %D 2006 %J Notre Dame J. Formal Log. %K dblp %N 2 %P 253-262 %T Classifying Dini's Theorem. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl47.html#BergerS06 %V 47

@article{journals/ndjfl/BergerS06, added-at = {2020-05-21T00:00:00.000+0200}, author = {Berger, Josef and Schuster, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2438cbfa63fa7ea8ac82ceb56fbec886d/dblp}, ee = {https://doi.org/10.1305/ndjfl/1153858650}, interhash = {29ced5da36fbc92d703f3a04097457ee}, intrahash = {438cbfa63fa7ea8ac82ceb56fbec886d}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 2, pages = {253-262}, timestamp = {2020-05-23T12:17:50.000+0200}, title = {Classifying Dini's Theorem.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl47.html#BergerS06}, volume = 47, year = 2006 }