%0 Journal Article %1 freund2020kruskals %A Freund, Anton %D 2020 %I Cambridge University Press %J Mathematical Structures in Computer Science %K arxiv myown paper %N 8 %P 952-975 %R 10.1017/S0960129520000298 %T From Kruskal’s theorem to Friedman’s gap condition %V 30

@article{freund2020kruskals, added-at = {2023-07-01T15:23:43.000+0200}, arxiv = {https://arxiv.org/abs/2003.02714}, author = {Freund, Anton}, biburl = {https://www.bibsonomy.org/bibtex/29cdd907b67422270f05f608aaf61a22d/freund}, doi = {10.1017/S0960129520000298}, interhash = {d81c090084f182b5dd688d9c47c67af1}, intrahash = {9cdd907b67422270f05f608aaf61a22d}, journal = {Mathematical Structures in Computer Science}, keywords = {arxiv myown paper}, number = 8, pages = {952-975}, publisher = {Cambridge University Press}, timestamp = {2023-07-13T22:36:15.000+0200}, title = {From {K}ruskal’s theorem to {F}riedman’s gap condition}, volume = 30, year = 2020 }