Login / Signup

Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete.

Omer GiménezGuillem GodoySebastian Maneth
Published in: SIAM J. Comput. (2011)
Keyphrases
  • database
  • artificial intelligence
  • database systems
  • special case
  • dynamic programming
  • probability distribution
  • theorem proving