On synthetic undecidability in coq, with an application to the entscheidungsproblem.

Yannick Forster Dominik Kirst Gert Smolka

Published in: CPP (2019)

Keyphrases

description logics
theorem prover
real world
real images are presented
bayesian networks
formal methods
database
learning algorithm
decision making