Login / Signup

The Equivalence Problem for Program Schemata with Nonintersecting Loops.

Harry R. Lewis
Published in: POPL (1977)
Keyphrases
  • information systems
  • neural network
  • data mining
  • artificial intelligence
  • social networks
  • feature selection
  • functional dependencies
  • computer programs
  • programming environment