Revisiting Decidable Bounded Quantification, via Dinaturality.

Published in: CoRR (2022)

Keyphrases

first order logic
data sets
artificial intelligence
information systems
database systems
image sequences
datalog programs