Login / Signup

Structural Decidable Extensions of Bounded Quantification.

Sergei G. Vorobyov
Published in: POPL (1995)
Keyphrases
  • structural information
  • structural features
  • transitive closure
  • structural analysis
  • data sets
  • first order logic
  • deductive databases
  • automata theoretic