Ehrenfeucht, Vaught, and the decidability of the weak monadic theory of successor.

Wolfgang Thomas

Published in: ACM SIGLOG News (2018)

Keyphrases

description logics
theoretical framework
deductive databases
theoretical basis
formal theory
database
machine learning
natural language
evolutionary algorithm