Decidability results for sets with atoms.

Agostino Dovier Andrea Formisano Eugenio G. Omodeo

Published in: APPIA-GULP-PRODE (2001)

Keyphrases

logic programs
linear combination
query answering
computer vision
video sequences
description logics
database
data sets
website
digital libraries
set theoretic