- Titel:
A Formalization and Proof Checker for Isabelle's Metalogic
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Roßkopf, Simon ; Nipkow, Tobias
- Stichworte:
- Article ; Theorem proving ; Higher-order logic ; Isabelle ; Proofchecker ; Metalogic ; Information and Computing Sciences
- Zeitschriftentitel:
- Journal of Automated Reasoning
- Jahr:
- 2022
- Band / Volume:
- 67
- Heft / Issue:
- 1
- Volltext / DOI:
- doi:10.1007/s10817-022-09648-w
- Verlag / Institution:
- Springer Netherlands
- E-ISSN:
- 0168-7433 ; 1573-0670
- Publikationsdatum:
- 12.12.2022
BibTeX
Login
