On Separation of the Emptiness and Equivalence Problems for Program Schemes.

Andrejs J. Auzins Efim B. Kinber

Published in: Inf. Process. Lett. (1985)

Keyphrases

artificial intelligence
programming language
decision problems
problems involving
database
real time
high level
search algorithm
special case
multi class
solving problems
related problems
difficult problems