Deciding Open Definability via Subisomorphisms.

Carlos Areces Miguel Campercholi Pablo Ventura

Published in: WoLLIC (2018)

Keyphrases

propositional logic
image segmentation
normal form
website
database systems
information technology