doi — 10.1017/S0

1 paper found with doi equals to 10.1017/S0960129520000298.
  1. @article{FREU20,
     author = {Freund, Anton},
     doi = {10.1017/S0960129520000298},
     journal = {Mathematical Structures in Computer Science},
     number = {8},
     pages = {952–975},
     sha256 = {1E6B0E577024D6527D64BB8D8E19DF9A42C1269E64D860C16C2F774285DEAA42},
     title = {From Kruskal’s theorem to Friedman’s gap condition},
     volume = {30},
     year = {2020}
    }