The Unity and Identity of Decidable Objects and double-Negation sheaves.

Published in: J. Symb. Log. (2018)

Keyphrases

d objects
datalog programs
data objects
object model
multiple objects
digital objects
data sets
databases
face recognition
viewpoint
logic programs
deductive databases