Sign in

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

Andrejs J. AuzinsEfim 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