Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Erdős, Paul
Hajnal, A.
and
Larson, Jean A.
1993.
Finite and Infinite Combinatorics in Sets and Logic.
p.
97.
Larson, Jean A.
1993.
Finite and Infinite Combinatorics in Sets and Logic.
p.
207.
Hajnal, András
2013.
The Mathematics of Paul Erdős II.
p.
379.
Džamonja, Mirna
Koutsoukou-Argyraki, Angeliki
and
Paulson, Lawrence C.
2022.
Formalizing Ordinal Partition Relations Using Isabelle/HOL.
Experimental Mathematics,
Vol. 31,
Issue. 2,
p.
383.
Paulson, Lawrence C.
2023.
Intelligent Computer Mathematics.
Vol. 14101,
Issue. ,
p.
3.
Paulson, Lawrence C.
2024.
A formalised theorem in the partition calculus.
Annals of Pure and Applied Logic,
Vol. 175,
Issue. 1,
p.
103246.