Login / Signup

Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations.

Lucas BueriRadu IosifFlorian Zuleger
Published in: CoRR (2024)
Keyphrases
  • tree width
  • bounded tree width
  • database
  • databases
  • machine learning
  • inductive learning
  • relational structures
  • social network analysis
  • constraint networks