Completeness in Hybrid Type Theory.

Carlos Areces Patrick Blackburn Antonia Huertas María Manzano

Published in: J. Philos. Log. (2014)

Keyphrases

database systems
formal theory
high level
face recognition
relational databases
user interface
multiresolution
hybrid learning