On the Zero-Inequivalence Problem for Loop Programs.

Oscar H. Ibarra Brian S. Leininger

Published in: J. Comput. Syst. Sci. (1983)

Keyphrases

computer programs
loop formulas
automatic programming
logic programs
control structures
decision trees
relational databases
functional programs
prolog programs
answer sets
real world
web services
metadata
computer vision
artificial intelligence
information retrieval
machine learning
data mining