Login / Signup

On Equivalence and Containment Problems for Formal Languages.

Harry B. Hunt IIIDaniel J. Rosenkrantz
Published in: J. ACM (1977)
Keyphrases
  • formal languages
  • np complete
  • relational databases