The Complexity of the Equivalence Problem for Simple Loop-Free Programs.

Oscar H. Ibarra Brian S. Leininger

Published in: SIAM J. Comput. (1982)

Keyphrases

real world
database
bayesian networks
social networks
image sequences
multi agent
expert systems
operating system
answer sets
programming environment
stable models
highly reliable