Foundational proof checkers with small witnesses.

Dinghao Wu Andrew W. Appel Aaron Stump

Published in: PPDP (2003)

Keyphrases

small number
artificial neural networks
medium size
artificial intelligence
decision making
special case
databases
computer vision
e learning
three dimensional
relational databases
small size