A Simpler Undecidability Proof for System F Inhabitation.

Andrej Dudenhefner Jakob Rehof

Published in: TYPES (2018)

Keyphrases

description logics
probabilistic planning
theorem proving
mathematical proofs
computer vision
decision making
special case
dynamic programming
data management
domain independent
answering queries
query containment
linear logic