Monadic NIP in Monotone Classes of Relational Structures.

Samuel Braunfeld Anuj Dawar Ioannis Eleftheriadis Aris Papadopoulos

Published in: ICALP (2023)

Keyphrases

relational structures
datalog programs
association graph
relational data
deductive databases
closed form
point sets