Login / Signup

First-Order Definability of Transition Structures.

Antje RumbergAlberto Zanardo
Published in: J. Log. Lang. Inf. (2019)
Keyphrases
  • first order logic
  • higher order
  • propositional logic
  • finite model theory
  • fixed point
  • social networks
  • evolutionary algorithm
  • hidden markov models
  • np complete
  • structural features