Login / Signup

First-order and counting theories of omega-automatic structures.

Dietrich KuskeMarkus Lohrey
Published in: J. Symb. Log. (2008)
Keyphrases
  • higher order
  • first order logic
  • theory revision
  • theoretical framework
  • semi automatic
  • structural analysis
  • machine learning
  • data driven
  • fully automatic
  • domain theory