Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Gordon, M. J. C.
2015.
Tactics for mechanized reasoning: a commentary on Milner (1984) ‘The use of machines to assist in rigorous proof’.
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences,
Vol. 373,
Issue. 2039,
p.
20140234.
Paulson, Lawrence C.
2015.
A Mechanised Proof of Gödel’s Incompleteness Theorems Using Nominal Isabelle.
Journal of Automated Reasoning,
Vol. 55,
Issue. 1,
p.
1.
Fitting, Melvin
2017.
Raymond Smullyan on Self Reference.
Vol. 14,
Issue. ,
p.
47.
Villadsen, Jørgen
and
Schlichtkrull, Anders
2017.
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV.
Vol. 10620,
Issue. ,
p.
92.
Schlichtkrull, Anders
2018.
Formalization of the Resolution Calculus for First-Order Logic.
Journal of Automated Reasoning,
Vol. 61,
Issue. 1-4,
p.
455.
Paulson, Lawrence C.
2018.
Computational logic: its origins and applications.
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences,
Vol. 474,
Issue. 2210,
p.
20170872.
Popescu, Andrei
and
Traytel, Dmitriy
2019.
Automated Deduction – CADE 27.
Vol. 11716,
Issue. ,
p.
442.
Schlichtkrull, Anders
Blanchette, Jasmin
Traytel, Dmitriy
and
Waldmann, Uwe
2020.
Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover.
Journal of Automated Reasoning,
Vol. 64,
Issue. 7,
p.
1169.
Popescu, Andrei
and
Traytel, Dmitriy
2021.
Distilling the Requirements of Gödel’s Incompleteness Theorems with a Proof Assistant.
Journal of Automated Reasoning,
Vol. 65,
Issue. 7,
p.
1027.
SIEG, WILFRIED
and
WALSH, PATRICK
2021.
NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF.
The Review of Symbolic Logic,
Vol. 14,
Issue. 1,
p.
250.
Koutsoukou-Argyraki, Angeliki
2021.
Formalising Mathematics – in Praxis; A Mathematician’s First Experiences with Isabelle/HOL and the Why and How of Getting Started.
Jahresbericht der Deutschen Mathematiker-Vereinigung,
Vol. 123,
Issue. 1,
p.
3.
Villadsen, Jørgen
From, Asta Halkjær
Jensen, Alexander Birch
and
Schlichtkrull, Anders
2022.
Natural Language Processing in Artificial Intelligence — NLPinAI 2021.
Vol. 999,
Issue. ,
p.
25.
Gao, Chang
Zhou, Yanwen
and
Yu, Wensheng
2023.
Formal Verification of Taylor’s Theorem in Coq.
p.
1510.
Tachikawa, Yuji
2023.
Undecidable problems in quantum field theory.
International Journal of Theoretical Physics,
Vol. 62,
Issue. 9,
Lam, Kai Shun
2024.
An Extension Proof of Riemann Hypothesis by a Logical Entails Truth Table.
SSRN Electronic Journal,
From, Asta Halkjær
2024.
Selected Reflections in Language, Logic, and Information.
Vol. 14354,
Issue. ,
p.
80.