Ehrenfeucht-Fraïssé goes elementarily automatic for structures of bounded degree.

Antoine Durand-Gasselin Peter Habermehl

Published in: STACS (2012)

Keyphrases

semi automatic
fully automatic
structural analysis
bounded degree
machine learning
information retrieval
reinforcement learning
domain knowledge
query language