Definability in the Monadic Second-Order Theory of Successor.

J. Richard Büchi Lawrence H. Landweber

Published in: J. Symb. Log. (1969)

Keyphrases

general theory
theoretical basis
theoretical framework
information systems
website
bayesian networks
expert systems
information theory
formal theory
social networks
knowledge base
graphical models
fixed point
propositional logic