From Kruskal’s theorem to Friedman’s gap condition

From MaRDI portal
Publication:4988429

DOI10.1017/S0960129520000298MaRDI QIDQ4988429

Anton Freund

Publication date: 14 May 2021

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2003.02714



Related Items



Cites Work