Login / Signup
Decidable Subcases of The Equivalence Problem for Recursive Program Schemes.
Bruno Courcelle
Jean 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