The Undecidability of the Definability of Principal Subcongruences

Published in: CoRR (2013)

Keyphrases

description logics
fixed point
propositional logic
special case
search space
machine learning
information systems
image processing
knowledge representation
query containment
tree automata