Found: 6
Select item for more details and to access through your institution.
Multimodal and intuitionistic logics in simple type theory1.
- Published in:
- Logic Journal of the IGPL, 2010, v. 18, n. 6, p. 881, doi. 10.1093/jigpal/jzp080
- By:
- Publication type:
- Article
Hammering towards QED.
- Published in:
- Journal of Formalized Reasoning, 2016, v. 9, n. 1, p. 101
- By:
- Publication type:
- Article
An overview of the verification of SET.
- Published in:
- International Journal of Information Security, 2005, v. 4, n. 1/2, p. 17, doi. 10.1007/s10207-004-0047-7
- By:
- Publication type:
- Article
ACKERMANN'S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT.
- Published in:
- Bulletin of Symbolic Logic, 2021, v. 27, n. 4, p. 426, doi. 10.1017/bsl.2021.47
- By:
- Publication type:
- Article
Mechanizing Coinduction and Corecursion in Higher-order Logic.
- Published in:
- Journal of Logic & Computation, 1997, v. 7, n. 2, p. 175, doi. 10.1093/logcom/7.2.175
- By:
- Publication type:
- Article
A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS.
- Published in:
- Review of Symbolic Logic, 2014, v. 7, n. 3, p. 484, doi. 10.1017/S1755020314000112
- By:
- Publication type:
- Article