The strength of some Martin-Löf type theories.

Edward R. Griffor Michael Rathjen

Published in: Arch. Math. Log. (1994)

Keyphrases

database
search engine
computer vision
theoretical framework
databases
artificial intelligence
search algorithm