Completeness in partial type theory.

Petr Kuchynka Jirí Raclavský

Published in: J. Log. Comput. (2024)

Keyphrases

theoretical basis
theoretical framework
database
neural network
artificial intelligence
lower bound
real time
databases
search engine
information systems
three dimensional
search algorithm