🔗 Who cites «From LCF to HOL: a short history»

4 papers of our library cite it (of the 149,439 whose bibliographies we read) · 3 with a page here, the most cited first · ← back to «From LCF to HOL: a short history»

1. Verification methods: rigorous results using floating-point arithmeticActa Numerica 19:287–449Siegfried M. Rump2010 · 285 citations
2. History of Interactive Theorem ProvingHandbook of the History of Logic, vol. 9 (Elsevier)John Harrison, Josef Urban, Freek Wiedijk2014 · 109 citations
3. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations

1 more paper of our library cites it; it has no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/gordon-2000-lcf-hol-short-history/cited-by/