论文“次闭图类的逻辑极限律”的支撑文档
组合数学
2014-01-30 v2 逻辑
概率论
摘要
我们为 Heinig、Muller、Noy 和 Taraz 的论文“次闭图类的逻辑极限律”中的引理 4.9 提供了一个可手工验证的证明。
引用
@article{arxiv.1401.7005,
title = {Supporting document to the paper "Logical limit laws for minor-closed classes of graphs"},
author = {Peter Heinig and Tobias Muller and Anusch Taraz},
journal= {arXiv preprint arXiv:1401.7005},
year = {2014}
}