Composition Under Distributive Natural Transformations: Or, When Predicate Abstraction is Impossible.

Published in: J. Log. Lang. Inf. (2022)

Keyphrases

real world
high level
first order logic
man made
database systems
database
neural network
computer vision
information systems
metadata
website
objective function
image features
data abstraction