Fingerprint
Dive into the research topics of 'Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq: Extended Version'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq: Extended Version
Dominik Kirst, Marc Hermes
Research output: Contribution to journal › Article › peer-review