Login / Signup

Decidable Subcases of The Equivalence Problem for Recursive Program Schemes.

Bruno CourcelleJean H. Gallier
Published in: RAIRO Theor. Informatics Appl. (1987)
Keyphrases
  • datalog programs
  • query answering
  • recursive queries
  • query containment
  • computer programs
  • static analysis
  • program synthesis
  • recursive programs
  • genetic algorithm
  • case study
  • special case
  • first order logic
  • fixpoint