Login / Signup
Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq.
Dominik Kirst
Marc Hermes
Published in:
ITP (2021)
Keyphrases
</>
complex systems
management system
formal methods
building blocks
first order logic
real world
higher order
description logics
intelligent systems
knowledge based systems
missing values