MSO Undecidability for Hereditary Classes of Unbounded Clique Width.

Anuj Dawar Abhisekh Sankaran

Published in: CSL (2022)

Keyphrases

regular expressions
databases
genetic algorithm
expert systems
database
knowledge representation
description logics
bipartite graph
probabilistic planning
independent set