Proof-term synthesis on dependent-type systems via explicit substitutions.

César A. Muñoz

Published in: Theor. Comput. Sci. (2001)

Keyphrases

database
management system
computer systems
learning algorithm
artificial intelligence
computer vision
expert systems
real time
pairwise
knowledge based systems
building blocks
theorem proving
digital circuits